AERN-Real-0.9.2: datatypes and abstractions for approximating exact real numbers