max(i32 - i64)
