fix broken fma tests (due to mpfr bugs)