Here's what I saw:
Whereas the picture above and below it have hotness scores around 8k.
I can only assume a 0 was inappropriately omitted there.
edit: I just realized that the "." is used as a decimal point in most of the English-speaking world. So this is not a bug as much as something that can be mildly confusing to someone who is used to "." being used as a separator between large numbers. (especially since the hotness points are usually precise to exactly 3 digits after the decimal point). Note that I did immediately realize what was meant by this number.
I would argue this number should either be multiplied by 1000 and displayed as a whole number, or the precision should be fixed (to 3 digits after the decimal point for instance)