@hackage cdar-mBound0.1.0.4

Exact real arithmetic using Centred Dyadic Approximations