Factor out floating point styling to a function

app.py

@@ -72,6 +72,14 @@ def update_table(
     filtered_df = filter_models(hidden_df, type_query, size_query, precision_query, show_deleted)
     filtered_df = filter_queries(query, filtered_df)
     df = select_columns(filtered_df, columns)
+    df = apply_format_styling(df)
+    return df
+
+
+def apply_format_styling(df: pd.DataFrame) -> pd.io.formats.style.Styler:
+    df = df.style.format(
+        {c: "{:.1f}" for c in BENCHMARK_COLS} | {AutoEvalColumn.average.name: "{:.2f}"}
+    )
     return df
 
 
@@ -192,12 +200,10 @@ with demo:
                     )
 
             leaderboard_table = gr.components.Dataframe(
-                value=leaderboard_df[
+                value=apply_format_styling(leaderboard_df[
                     [c.name for c in fields(AutoEvalColumn) if c.never_hidden]
                     + shown_columns.value
-                ].style.format(
-                    {c: "{:.1f}" for c in BENCHMARK_COLS} | {AutoEvalColumn.average.name: "{:.2f}"}
-                    ),
+                ]),
                 headers=[c.name for c in fields(AutoEvalColumn) if c.never_hidden] + shown_columns.value,
                 datatype=TYPES,
                 elem_id="leaderboard-table",