Buenas, mira no hay alguna función que hago eso, (
o por lo menos yo no la conozco) pero para solucionarlo solamente se necesita un poco de ingenio....
Código PHP:
<?php
$numero = 76;
// Si no se necesita decimales cambiar esta linea
$decimales = explode(".",$numero);
//Si no se necesita los decimales cambiar $decimales[0] por $numero
$diferencia = 5 - strlen($decimales[0]);
for($i = 0 ; $i < $diferencia; $i++)
{
$numero_con_ceros .= 0;
}
$numero_con_ceros .= $numero;
echo $numero_con_ceros;
?>
Esto imprimiria 00076, y para hacerlo completo, si pones numeros con decimales como 35.46 el script imprimira 00035.46, creo que querrias algo asi si te aparecen numeros con decimales sino se necesita esta comentado que es lo que tienes que cambiar... Espero que te siva. Saludos.