type(i * i64)
