Comment by tacker2000

No, there is no missed rule, the comma is the only official decimal separator in these parts. But I can relate to the the OP. Us here in the comma world are forever converting numbers in CSV and Excel files back and forth so as to display them in a proper number format. It’s like that darned USB port, you have to flip it 3 times to get it right.