THE MPFR LIBRARY: ALGORITHMS AND PROOFS