cdar-mBound-0.1.0.4: Exact real arithmetic using Centred Dyadic Approximations
Convenience module importing and reexporting the CReal data type of computable real numbers and the underlying data type including the centred dyadic approximations Approx.