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.