php number_format

<?php
$num = 4;
$num_padded = sprintf("%02d", $num);
echo $num_padded; // returns 04
?>

echo number_format(123456, 1, ",", " ");