Integrated: 8367942: Add API note discussing Double.compareTo total order and IEEE 754 total order

[Joe Darcy]

On Thu, 18 Sep 2025 03:31:30 GMT, Joe Darcy <darcy at openjdk.org> 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.

This pull request has now been integrated.

Changeset: 4882559a
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4882559ae34e3fee2fd1fd14cb9617df68664281
Stats:     26 lines in 3 files changed: 25 ins; 0 del; 1 mod

8367942: Add API note discussing Double.compareTo total order and IEEE 754 total order

Reviewed-by: rgiulietti

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

PR: https://git.openjdk.org/jdk/pull/27356