Added the "precision" attribute to the leaderboard table

app.py

@@ -488,12 +488,12 @@ tr.row_odd {
   margin: 0px;
 }
 
-.leaderboard-table th:nth-child(9), .leaderboard-table td:nth-child(9) {
+.leaderboard-table th:nth-child(10), .leaderboard-table td:nth-child(10) {
   border-right-width: 2px;
   border-right-color: var(--border-color-primary);
 }
 
-.leaderboard-table td:nth-child(9) p {
+.leaderboard-table td:nth-child(10) p {
   font-weight: bolder;
 }
 

server.py

@@ -855,6 +855,7 @@ class LeaderboardServer:
                     local_results["release"] = release
                     local_results["model_type"] = data["submission_metadata"]["model_type"]
                     local_results["parameters"] = data["submission_metadata"]["parameters"]
+                    local_results["precision"] = data["submission_metadata"]["precision"]
                     
                     if pre_submit and submission_id == pre_submit.submission_id:
                         processed_results.insert(0, local_results)
@@ -885,6 +886,7 @@ class LeaderboardServer:
                     "release",
                     "model_type",
                     "parameters",
+                    "precision",
                     "n-shot",
                     "max_length",
                     "chat_template",