i64 + 1 - i32
