another float range fix (#2333). thanks to @stevengj