Not that it matters much, but decimal comma is somewhat more widespread than "some non-English speaking European countries": https://en.wikipedia.org/wiki/Decimal_separator#/media/File:...