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