mpfr_flavor subnormal numbers