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