HERA is a library for exact real arithmetic written in Haskell.
The main module is Data.Number.Real. More detailed information is in the documentation.