「CSVの小数点はロケールに従う」のが一般的な仕様なのか。とかどうすりゃいいんだ。やはりLibreOfficeのようにユーザーにCSVの形式を選ばせるしかないというオチになりかねない。