Exact real arithmetic in C++