Can json_integer deal with u64?