Zeros à esquerda e à direita no PHP

Utilizo muito essa dica em sistemas de cadastro de produtos, com códigos internos da loja. Geralmente o cliente pede para preencher o número com zeros ou algum outro caractere somente para impressão. A função str_pad faz isso pra gente. Ela recebe quatro parâmetros: a string a ser preenchida, o número de espaços a serem preenchidos, o caractere utilizado no preenchimento e a posição (LEFT, RIGHT ou BOTH – esquerda, direita ou ambos). No caso do número de espaços ser menor do que o tamanho da string, a função não faz nada.

echo str_pad( '9', 10, '0', STR_PAD_LEFT ); // 0000000009