higher bound a float
in ___