Comment by chc

I thought it was broadly the English-language format. AFAIK the comma is the thousands separator in the US, the UK, Australia and Canada.