mpfr_flavor