Estou tentando encontrar uma boa maneira de imprimir os 0s iniciais, como 01001, para um CEP. Embora o número seja armazenado como 1001, qual é uma boa maneira de fazer isso?
Eu pensei em usar as instruções de caso / se, então, descobrir quantos dígitos o número tem e depois convertê-lo em uma matriz de caracteres com 0 extra para impressão, mas não posso deixar de pensar que pode haver uma maneira de fazer isso com o sintaxe do formato printf que está me iludindo.