This has come up multiple times (also asked in Slack channels)
German users, in particular, have expressed an interest in being able to change the decimal seperator sign.
Add an option to swap between a comma and a dot.