Re: [Haskell-cafe] Exact Real Arithmetic