In the csv downloads, numbers are formatted to use a comma as a thousand separator, and my Excel (on European settings, so with a decimal comma and a dot as a thousands separator) this gives trouble: a number like "12,340" will be read as "12,34" and changing the comma to a dot results in 1234 inste...