Форматирование чисел с фиксированной шириной python 3

Как мне получить целое число для заполнения 0 к фиксированной ширине в Python 3.2 с использованием атрибута формата? Пример:

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

Спасибо.