make sure to set the mpfr exponent range