i == i64 + i32
