How do I format a number with a variable number of digits in Python?,"""""""One hundred and twenty three with three leading zeros {0:06}."""""".format(123)"