@hackage exact-real0.11.3

Exact real arithmetic

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