json NUMERIC_CHECK shouldn't cast keys to numbers

See php bug 55543