How do I format a number with a variable number of digits in Python?,"""""""{num:0{width}}"""""".format(num=123, width=6)"