[Haskell-cafe] Exact Real Arithmetic