fix rounding of floats big enough to be bignums