max(i64) >= i32
