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
It is now fixed, though mildly worrying that it tripped the breaker.