higher bound a float
ant ins in ___