在 Python 中，我将 Pandas Dataframe 写入 csv 文件，并希望将十进制分隔符更改为逗号 ( ,)。像这样：
results.to_csv('D:/Data/Kaeashi/BigData/ProcessMining/Voorbeelden/Voorbeeld/CaseEventsCel.csv', sep=';', decimal=',')
但是csv文件中的十进制分隔符仍然是一个.
Why？我做错了什么？