Comma as decimal separator is actually the most common format, by number of countries, though dot still wins by population.

https://en.wikipedia.org/wiki/Decimal_separator#/media/File:...