exact real arithmetic for JavaScript