@hackage exact-real0.12.3

Exact real arithmetic

A type to represent exact real numbers using fast binary Cauchy sequences.