toJSON(i64 ^ i)
