Better loading of libmpfr.so and avoiding mpfr_get_default_prec if it's not loaded.