Rounding of whole ranks

[benjito]

Proposal: Make the display of decimal ranks more directly understandable

The current display of decimal ranks in user profiles (e.g., 3.1k) is confusing for many users. This is for instance apparent in a discussion on this topic on the forum, at What rating value can be considered the "middle" of the rank?. This proposal is to update the display of decimal ranks so as to more directly match the underlying rank/rating of users. Specifically, following this update, the displayed decimal rank would always match the user’s integer rank transparently. For instance, a 3k…