[Bug 1272606] Review Request: arb - Arbitrary-precision floating point ball arithmetic