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

[Joe Darcy]

On Fri, 16 Jan 2026 18:17:10 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> I wasn't sure if min/max should be included in the interface. I think it depends what role any non-operator methods have in interfaces intended for witnesses.
> 
> However, as long as the methods are here, they could be default methods, yes.
> 
> To acknowledge some feedback received on a different channel, if the OC type variable were required to extend Comparable, then all the lessThan, greaterThan, etc. method could have default methods written in terms of the results of compareTo. However, if we want to move away from Comparable, then extended its usage here probably isn't a good idea.

PS Pushed another changeset refactoring to have less than be the base operation and using default methods for the rest.

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

PR Review Comment: https://git.openjdk.org/valhalla/pull/1917#discussion_r2699924593