Format metrics columns with commas

app.py

@@ -65,6 +65,8 @@ data = (
 data.index = np.arange(1, len(data) + 1)
 data.index.name = "Rank"
 
+# Format metrics columns with commas
+data[metrics] = data[metrics].applymap(lambda x: f"{x:,}")
 
 def make_clickable(val):
     return f'<a target="_blank" href="https://huggingface.co/{val}">{val}</a>'