Заметил это несоответствие, когда изучал карму для своего проекта. Может ошибка и не очень значимая, но я думаю следовало бы все-таки в рейтинге обработать карму пользователей функцией number_format().
P.S.: если не ошибаюсь, то разделение запятой числа и дроби принято в русском языке, а точкой в английском, на котором и основывается программа. Даешь чистую пунктуацию! :)