'binLargeBound' to modular form