@hackage cdar-mBound0.1.0.3

Exact real arithmetic using Centred Dyadic Approximations