y si $valor = 1138; ?.. no te imprimiria 00000001138 ???...
creo lo que el busca se soluciona simpleente dandole formato con la función printf()... que podriamos ponerlo en una función si se va a ocupar mucho:
Código PHP:
<?php
function formato($c) {
printf("%08d<br>", $c);
}
// luego solo llamamos a la función...
formato(1138);
formato(123125);
formato(1);
?>