I think you misread the thread you're responding to. The OP used a comma as decimal point, not to as a thousands separator. GP likely meant they know of no Eng

I think you misread the thread you're responding to. The OP used a comma as decimal point, not to as a thousands separator. GP likely meant they know of no English speaking country that uses the comma as decimal point. Your example doesn't contradict or add to that.