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