Ciao, ho trovato questo: number_format()
http://php.it/manual/it/function.number-format.php
Potrebbe andare?