From 672f82bd85bd5ad06bbefca7c1be6d1efe474687 Mon Sep 17 00:00:00 2001
From: mokurin000 <1348292515a@gmail.com>
Date: Fri, 19 Sep 2025 22:03:44 +0800
Subject: [PATCH] enhance: cast difficulty manually

---
 utils/export_musicdb_flat.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/export_musicdb_flat.py b/utils/export_musicdb_flat.py
index 7ed9c3f..71d4b5b 100644
--- a/utils/export_musicdb_flat.py
+++ b/utils/export_musicdb_flat.py
@@ -2,4 +2,4 @@ import polars as pl
 
 pl.read_json("music_db/src/musicDB.json").explode(pl.col("levels")).unnest(
     pl.col("levels")
-).write_parquet("musics.parquet")
+).with_columns(pl.col("difficulty").cast(pl.Decimal)).write_parquet("musics.parquet")