exact-real (hackage): A type to represent exact real numbers using fast binary Cauchy sequences.
Keywords: library|math|mit