an interface to GNU MPFR from Pure
