Reliable Computing with GNU MPFR