'pltgenrealznumof' to modular form