higher bound a float
ant ins ha ___