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