What was the problem with mpfr and gmp? Could you add some specific tests for that problem?