Как включить разделитель тысяч в числа в выводе поляров? ⇐ Html

[Anonymous]

Я хотел бы сгенерировать вывод фрейма данных в формате HTML с разделителями тысяч в выводе.

Однако pl.Config, похоже, ничего не делает:
import polars as pl

df = pl.DataFrame({'prod':['apple','banana','melon'], 'price':[7788, 1122, 4400]})
with pl.Config(
thousands_separator=" "
):
html = 'ProductPrice'
html += ''.join(df.with_columns((pl.lit('')+
pl.col('prod')+
pl.lit('')+
pl.col('price').cast(pl.String)+
pl.lit('')
).alias('x')
)
.get_column('x')
.to_list()
)
html += ''
print(html)


Подробнее здесь: https://stackoverflow.com/questions/786 ... ars-output