Haskell library for exact real arithmetic