higher bound on a
float in ___