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

  • esa@discuss.tchncs.de
    ·
    3 days ago

    The dot decimal separator is fine, but the comma should be left as a list separator. As in 3, 4, 10 000.0, 23, etc. So IMO none of them get it right. :)