@hackage / cf

Exact real arithmetic using continued fractions