On Thu, 18 Sep 2025 03:31:30 GMT, Joe Darcy <[email protected]> wrote:
> Add a total that the total order used by {Double, Float}.compareTo is
> different than the total order defined by IEEE 754, starting the 2008 version
> of that standard.
The leading words of the PR description are not in total order 😉
-------------
PR Comment: https://git.openjdk.org/jdk/pull/27356#issuecomment-3308760735
