exact-real
==========

Exact real arithmetic implemented by fast binary Cauchy sequences.