Precise computation using range arithmetic, via C++ | ACM Transactions on Mathematical Software (TOMS) | DeepDyve