Python CSV小数分隔符

Question

使用Python，如何为CSV文件选择小数点分隔符？ 在Python float中，小数点分隔符是点，但对于我的情况，需要逗号。

根据Dialects and Formatting Parameters，Dialect中没有参数。

我认为，用这样的逗号替换点可以解决问题：

.header_bg {background-image:url("images/header_bg.png") repeat-x scroll 0 0;}

但似乎非常难看。

提前致谢。