mpfr flavor