Makes sure that in case of a tie, rankings are as high as possible

Previously, they were as low as possible. Instead, now, there is always
at least k% of users who have been in the top k% of users.