MPFR: A multiple-precision binary floating-point library with correct rounding. - Laurent Fousse; Guillaume Hanrot; Vincent Lefèvre; Patrick Pélissier; Paul Zimmermann (ACM Trans. Math. Softw., 2007)