Ciao.

Esiste number_format()

Es.
echo $a=number_format(8765.4321,2,",",".");
otterrai 8.765,43

il primo parametro è il numero da formattare
il secondo è il num. di cifre significative
il terzo il separatore decimale
il quarto quello di migliaia.