How do I get , in postcounts?

[Gutspiller]

04-16-03 at 02:26 AM Zzed said this in Post #2
In admin/functions.php:
Look for:

//highlight words for search engine

Add the following directly above it:

if($post[posts] >= 1000) {
  $left = floor($post[posts] / 1000);
  $right = $post[posts] % 1000;
  $post[posts] = "$left".","."$right";
}

I used this code, but one of my users postcount is showing up like this: "7,22" What's wrong? Should I remove this code and use the code Filburt suggestioned?

Example: http://www.theforumz.com/forumz/show...659#post175659