Как отобразить три цифры перед десятичной точкой?

Я хотел бы знать, как отображать по крайней мере три цифры перед десятичной точкой?

Например:

$nb_badge = "001";
$nb_badge = $nb_badge+6;
echo $nb_badge; // Must display "007".