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