higher bound a float
ion ___