$buf = "12345678901234567";
$res = preg_replace("/(\d)(?=(\d{3})+(?!\d))/", '\1,', $buf);
print($res);
 
//↓
//12,345,678,901,234,567
//になります。