AERN-RnToRm-0.3.0: polynomial function enclosures (PFEs) approximating exact real functions