leaerboard: fix rounding

leaderboard_data.py

@@ -89,7 +89,7 @@ def get_leaderboard_data(system_type: str, dataset: str) -> pd.DataFrame:
                 model_name = f"[{model_name}]({metrics_content['link']})"
             row = {"Model": model_name}
             # Round all metric values to 4 decimal places
-            rounded_metrics = {k: round(float(v), 4) for k, v in metrics_content["metrics"].items()}
+            rounded_metrics = {k: float(f"{float(v):.4f}") for k, v in metrics_content["metrics"].items()}
             row.update(rounded_metrics)
             metrics_data.append(row)
         except:
@@ -101,4 +101,4 @@ def get_leaderboard_data(system_type: str, dataset: str) -> pd.DataFrame:
     # compose datatypes for the table: markdown for model name, and number for all other columns
     datatypes = ["markdown"] + ["number"] * (len(df.columns) - 1)
     return df, datatypes, description
-    
+