$number = 13000;という数字を変数にセットして以下のnumber_formatを行うと、以下のようになります。
$number = 13000; echo number_format($number); //出力結果：13,000
これを裏側で動かしていた場合このままだと単純な計算ができなくなるので、ただの数字に戻す必要があります。
$turn_number = str_replace(',','',$number);
echo $turn_number;
//出力結果：13000
