mpfr var