Чтение CSV со значениями с международными номерами ⇐ Python

[Anonymous]

Например, я пытаюсь прочитать CSV-файл, содержащий цифры в европейском стиле:

Код: Выделить всё

"COL_A", "COL_B"
"ID_A", "47,37"

Я читаю это с помощью кода типа:

Код: Выделить всё

pl.read_csv(inputfile, dtypes={COL_B:float}, infer_schema_length=200)

и я получаю сообщение об ошибке

Код: Выделить всё

exceptions.ComputeError: could not parse "47,37" as dtype Float64 at

...
Есть ли простой способ адекватно импортировать его (в виде числа с плавающей запятой 47.37)?
Оглядываясь назад, глядя на комментарии и потенциальные повторяющиеся вопросы, я понимаю, что адекватным решением должно быть обновление до более современной версии, поскольку версия 0.15.14 сейчас довольно старая. (На момент написания вопроса и после исправления этой конкретной версии «дубликаты» вопросов не были адекватной заменой. Теперь, когда вопрос закрыт, я не могу дать ответ, хотя я также не могу удалить вопрос, если мы сочтем его нерелевантным. Это неприятно.
Я использую версию Polars 0.15.14

Подробнее здесь: https://stackoverflow.com/questions/754 ... al-numbers