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)"