Use 64-bit integer for json_value