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

[Joe Darcy]

On Sat, 17 Jan 2026 00:03:51 GMT, John R Rose <jrose at openjdk.org> wrote:

> I would prefer to see the ordering part tolerating partial orders (NaNs), and then factor the ordering part on top of both ints and floats.
> 
> Also, in the name of reducing primitives, I think a `compare(x,y)` method is the correct primitive. It would return one of "lt", "gt", "eq", and (only for FP orders) "uo". All the others, up to min/max, can be built on top as default methods, even if they also end up hardwired to an override, for efficiency.

To make progress on getting experience using type classes, I'm going to push the current state of the PR. Reconsidering how ordering is handled be done as future work, along with other refinements of the modeling interfaces. Thanks.

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

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