15200,50 non è un numero, ma una stringa, poichè la virgola va rappresentata con un punto ".", quindi devi cambiare la virgola con un punto, e otterrai un numero da gestire con number_format... puoi fare una cosa del genere, ma penso che ci sia di meglio...
Codice PHP:
$numero "15200,50";
$numero str_replace(",","."$numero); //cambio virgola con punto

echo number_format($numero",","."); //15.200,50