fix numeric key usage in json.decode