RFR: [type-classes] 8335451: Prototype support for an exact integer arithmetic type [v4]

[Joe Darcy]

On Thu, 29 Jan 2026 23:14:44 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> The Math class has support for "exact" forms of int and long add, subtract, multiply, and divide that throw exceptions instead of wrapping around in a two's complement sense. This nested class in Integer prototype what adding type-level support for that functionality would look like.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Improve witness related declarations.

Basic tests will be added as follow-up work.

-------------

PR Comment: https://git.openjdk.org/valhalla/pull/1937#issuecomment-3820888023