higher bound a float
ion ion ___