refactoring of mpfr_flavor interface