Zip Code response is a numeric value, missing leading zeros

[steffen-wirth]

Hi,

the AbstractController function _result has the option JSON_NUMERIC_CHECK for json_encode so zip codes like 01234 are missing the leading 0.