Das Trennzeichen selbst würde ich nehmen als Wert. Gibt halt mehr als nur die zwei!

Wenn du schon decimal ausschreibst, dann auch decimal_separator schreiben, liest sich schneller für Nutzer.