@hackage cdar-mBound0.1.0.2

Exact real arithmetic using Centred Dyadic Approximations