Currently, the reputation leagues assign arbitrary unique rankings to users with the same score. There are no ties. It would be more logical to assign the same rank to all users with the same score, and skip rank values for the duplicates. For example, if 3 users have the top score, then all three would be assigned a rank of 1, and the next best score would be assigned a rank of 4.
Presumably the rankings are generated by a SQL Server query using ROW_NUMBER(). Simply switching to the RANK() function would solve the problem.