Formattare da 10000.00 a 10,000.00

[Erwin19]

Ciao!
Desideravo formattare con virgola sulle migliaia e punto sui decimali un valore.

$nmb=10000;
$var=sprintf("%01.2f", $nmb);
echo $var;
//Output 10000.00 

Purtroppo l'output che ottengo è il punto sui decimali e nessuna virgola sulle migliaia.
Come posso fare per ottenerle??
Grazie!