I'm sure that the published rankings are reported rounded to the nearest integer!
But for the purposes of the calculation of the next rankings are the Elo ranks of GMs considered to actually be those integers, or does the managing body track their Elo score to one or more decimal places.
The answer is relevant to my next question (will link after posted)