json_encode does not quote numbers in newer versions