try to get decimal points

app.py

@@ -52,8 +52,21 @@ except Exception:
 
 raw_data, original_df = get_leaderboard_df(EVAL_RESULTS_PATH, EVAL_REQUESTS_PATH, COLS, BENCHMARK_COLS)
 leaderboard_df = original_df.copy()
+
+def custom_format(x):
+    if pd.isna(x):
+        return x  # Return as is if NaN
+    try:
+        float_x = float(x)
+        if float_x.is_integer():
+            return f"{int(float_x)}"
+        else:
+            return f"{float_x:.2f}".rstrip('0').rstrip('.')
+    except ValueError:
+        return x  # Return as is if conversion to float fails
+
 numeric_cols = [col for col in leaderboard_df.columns if leaderboard_df[col].dtype in ['float64', 'float32']]
-leaderboard_df[numeric_cols] = leaderboard_df[numeric_cols].applymap(lambda x: f"{x:.2f}")
+leaderboard_df[numeric_cols] = leaderboard_df[numeric_cols].applymap(custom_format)
 
 (
     finished_eval_queue_df,