[jsnell]

I think it's rather that they're using the dot as a thousand separator, not as a decimal separator.