Hecha una ojeada aqui
Código PHP:
number_format()
Sintaxis:number_format(numero, decimales, separador_decimal, separador_miles)
Ejemplo:
$numero = 12345.2534
$number = number_format($numero, 2);
// $number = 12345.25
$number = number_format($numero, 0);
// $number = 12345
$number = number_format($numero, 2, ".", ",");
// $number = 12,345.25
$number = number_format($numero, 4, ",", ".");
// $number = 12.345,2534