cf (hackage): "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
Keywords: library|math|mit