Exact real number computation in C++.