'pltxiBinsnumof', 'pltEigfnumof', and 'pltConumof' to modular form