My reasoning is that the period is a "stronger" punctuation mark than the comma, and it should be used for the more important separation.
https://en.wikipedia.org/wiki/Decimal_separator
My reasoning is that the period is a "stronger" punctuation mark than the comma, and it should be used for the more important separation.
https://en.wikipedia.org/wiki/Decimal_separator
I prefer 1e4
IEEE 754