Puoi usare la funzione number_format()
Codice PHP:
echo number_format("2015.239652",2,",",".");