i64 - i + i32
