naughty mpfr