higher bound a float