Leading zeros are kept as text on purpose
A postcode of 01234 stays the string "01234" rather than becoming the number 1234. This is the single most common way CSV to JSON conversions corrupt data, so the rule here is deliberate and not configurable per column.