| 23:58 | <Michael Ficarra> | okay after reading https://en.wikipedia.org/wiki/Decimal_separator I feel pretty strongly that we should not use comma for grouping (instead using space, following Ecma and many international standards bodies' recommendations) and I'm neutral between , and . for decimal separators |