maxintfloat implementation for BigFloats.