A calculator for exact real number computation