Il manuale questo sconosciuto!

number_format()

Basta un'occhiata, anche veloce, al manuale ed agli esempi!