Как получить целое число для заполнения 0 до фиксированной ширины в python 3.2 с использованием атрибута format? Пример:
a = 1
print('{0:3}'.format(a)}
дает '1' вместо '001', я хочу. В python 2.x я знаю, что это можно сделать с помощью
print "%03d" % number.
Я проверил документацию на строку python 3, но не смог ее получить.
http://docs.python.org/release/3.2/library/string.html#format-specification-mini-language
Спасибо.