higher bound a float
ant in a is ___