AERN-Real-0.10.0: arbitrary precision interval arithmetic for approximating exact real numbers