Ursprünglich hatte ich da nichts eingestellt. Erst nach deinem Hinweis habe ich, wie oben geschrieben, den Punkt als Dezimalzeichen eingetragen. Dann hat es ja, wie gesagt, auch funktioniert.Hattest du die Einstellung des Editors auf begrenzt gestellt und dort den entsprechenden Separator ausgewählt?
Dann noch die erweiterten Einstellungen öffnen und Dezimalzeichen als Punkt setzen.
Ziehe dir das Einstellungsfenster schön groß, dann kannst du die Änderungen in der Vorschau sehen.
