'binSmallBound' to modular form