Я пытаюсь найти хороший способ напечатать первые 0, например, 01001 для почтового индекса. Хотя число будет храниться как 1001, что является хорошим способом сделать это?

Я подумал об использовании операторов case / if then, чтобы выяснить, сколько цифр это число, а затем преобразовать его в массив символов с дополнительными нулями для печати, но я не могу не подумать, что может быть способ сделать это с помощью Синтаксис формата printf, который ускользает от меня.