max(i32) - i64
