Hola mi primer post aki, pero e leido bastantes

, mi problema es k quiero cambiar 10.200 en esto 10,200 ya k se lee diez mil docientos.he tratado sin poder hacer.
trate de hacer esto:
$a=10.200;
$b=str_replace(".",",",$a);
pero me devuelve esto 10,2

en vez de esto 10,200 (reemplazar el punto por una coma)
Alguien sabe??