Update leaderboard.py

leaderboard.py

@@ -129,22 +129,22 @@ def get_leaderboard():
         # Get human readable name
         human_readable = get_human_readable_name(model)
         
-        # Format the row (without position number for now)
+        # Format the row (keeping numeric values as numbers)
         row = [
-            0,  # Placeholder for position (as integer)
-            human_readable,
-            f"{score:.3f}",
-            wins,  # Keep as integer
-            losses,  # Keep as integer
-            total_battles,  # Keep as integer
-            f"{win_rate:.1%}"
+            0,              # Position placeholder (integer)
+            human_readable, # String
+            score,         # Float (raw score for sorting)
+            wins,          # Integer
+            losses,        # Integer
+            total_battles, # Integer
+            win_rate      # Float (raw rate for sorting)
         ]
         table_data.append(row)
     
     # Sort by score (descending)
-    table_data.sort(key=lambda x: float(x[2]), reverse=True)
+    table_data.sort(key=lambda x: x[2], reverse=True)  # No need for float() conversion now
     
-    # Add position numbers after sorting (as integers)
+    # Add position numbers after sorting
     for i, row in enumerate(table_data, 1):
         row[0] = i
     
@@ -195,22 +195,22 @@ def get_elo_leaderboard():
         # Get human readable name
         human_readable = get_human_readable_name(model)
         
-        # Format the row (without position number for now)
+        # Format the row (keeping numeric values as numbers)
         row = [
-            0,  # Placeholder for position (as integer)
-            human_readable,
-            f"{rating:.1f}",
-            wins,  # Keep as integer
-            losses,  # Keep as integer
-            total_battles,  # Keep as integer
-            f"{win_rate:.1%}"
+            0,              # Position placeholder (integer)
+            human_readable, # String
+            rating,        # Float (raw rating for sorting)
+            wins,          # Integer
+            losses,        # Integer
+            total_battles, # Integer
+            win_rate      # Float (raw rate for sorting)
         ]
         table_data.append(row)
     
     # Sort by ELO rating (descending)
-    table_data.sort(key=lambda x: float(x[2]), reverse=True)
+    table_data.sort(key=lambda x: x[2], reverse=True)  # No need for float() conversion now
     
-    # Add position numbers after sorting (as integers)
+    # Add position numbers after sorting
     for i, row in enumerate(table_data, 1):
         row[0] = i