i32 - max(i64, i)
