higher bound a float
ant ins an is ___