higher bound a float
ant ins ___