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