@a_lizard@mastodon.social There's a whole club with more members like the ones not making decimal separators freely customisable but simply use whatever display language your device is set to (I'm looking at you, Microsoft).