@hackage exact-real0.12.5

Exact real arithmetic

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