User blog comment:B1mb0w/The Quantum Function/@comment-35470197-20180926050834/@comment-202.67.83.1-20181001114456

Yes. I use leading zero assumption for all my functions. Also the leading zeroes can be dropped regardless of what numbers follow.