git: openjdk/jdk: master: 8367942: Add API note discussing Double.compareTo total order and IEEE 754 total order

[Joe Darcy]

Changeset: 4882559a
Branch: master
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2025-09-22 21:30:47 +0000
URL:       https://git.openjdk.org/jdk/commit/4882559ae34e3fee2fd1fd14cb9617df68664281

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

Reviewed-by: rgiulietti

! src/java.base/share/classes/java/lang/Double.java
! src/java.base/share/classes/java/lang/Float.java
! src/jdk.incubator.vector/share/classes/jdk/incubator/vector/Float16.java