mysql format number leading zeros
By Beth Stoltenberg at Mar 17 2021
mysql number format
By Lillie Hamill at Jun 14 2020