higher bound a float
ant ins at ___