i32 - max(i64)
