type(i64 + i)
