higher bound a float
ant ___