RFR: 8338529: Initial iteration of numerics modeling interfaces [v4]

[Joe Darcy]

On Tue, 20 Jan 2026 20:56:54 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> A refinement of some earlier ideas on the numerics modeling interfaces to inform further discussions.
>> 
>> This is a "lumpy" rather than "splitty" design in terms of favoring a smaller number of interfaces with more functionality rather than a larger number of interfaces making smaller distinctions.
>> 
>> Various design comments and to-do's noted in the code.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Add apiNote on closure under different operations, etc.

>From experience working on https://github.com/openjdk/valhalla/pull/1937, pushed another changeset to this PR discussion closure properties of different operations and how they are expected to be documented. In other words, if value is not returned for a particular combination of operands, the expectation is that an ArithmeticException will be thrown and the conditions under which that exception would be thrown should be documented in the numerical type.

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

PR Comment: https://git.openjdk.org/valhalla/pull/1917#issuecomment-3774913598