Arbitrary-precision correctly-rounded floating-point arithmetic, via MPFR.

WWW: https://github.com/mdickinson/bigfloat
