Laurent Fousse Guillaume Hanrot Vincent Lefèvre Patrick Pélissier Paul Zimmermann MPFR: A multiple-precision binary floating-point library with correct rounding. 13 2007 33 ACM Trans. Math. Softw. 2 http://doi.acm.org/10.1145/1236463.1236468 db/journals/toms/toms33.html#FousseHLPZ07