Update leaderboard.py

leaderboard.py

@@ -131,12 +131,12 @@ def get_leaderboard():
         
         # Format the row (without position number for now)
         row = [
-            "",  # Placeholder for position
+            0,  # Placeholder for position (as integer)
             human_readable,
             f"{score:.3f}",
-            str(wins),
-            str(losses),
-            str(total_battles),
+            wins,  # Keep as integer
+            losses,  # Keep as integer
+            total_battles,  # Keep as integer
             f"{win_rate:.1%}"
         ]
         table_data.append(row)
@@ -144,9 +144,9 @@ def get_leaderboard():
     # Sort by score (descending)
     table_data.sort(key=lambda x: float(x[2]), reverse=True)
     
-    # Add position numbers after sorting
+    # Add position numbers after sorting (as integers)
     for i, row in enumerate(table_data, 1):
-        row[0] = str(i)
+        row[0] = i
     
     return table_data
 
@@ -197,12 +197,12 @@ def get_elo_leaderboard():
         
         # Format the row (without position number for now)
         row = [
-            "",  # Placeholder for position
+            0,  # Placeholder for position (as integer)
             human_readable,
             f"{rating:.1f}",
-            str(wins),
-            str(losses),
-            str(total_battles),
+            wins,  # Keep as integer
+            losses,  # Keep as integer
+            total_battles,  # Keep as integer
             f"{win_rate:.1%}"
         ]
         table_data.append(row)
@@ -210,9 +210,9 @@ def get_elo_leaderboard():
     # Sort by ELO rating (descending)
     table_data.sort(key=lambda x: float(x[2]), reverse=True)
     
-    # Add position numbers after sorting
+    # Add position numbers after sorting (as integers)
     for i, row in enumerate(table_data, 1):
-        row[0] = str(i)
+        row[0] = i
     
     return table_data