Bugfix for systems without mpfr