Mpfr flavor test