Online Library TheLib.net » The MPFR library: algorithms and proofs