RFR: 8367942: Add API note discussing Double.compareTo total order and IEEE 754 total order [v2]

Raffaello Giulietti rgiulietti at openjdk.org
Mon Sep 22 17:06:09 UTC 2025


On Thu, 18 Sep 2025 17:56:35 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.
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Respond to review feedback.

src/java.base/share/classes/java/lang/Double.java line 1449:

> 1447:      * order regards all positive NaN values as greater than positive
> 1448:      * infinity.
> 1449:      *

When both arguments are NaNs, IEEE 754 also specifies (§5.10.d.5.ii)

> signaling orders below quiet for +NaN, reverse for −NaN

and leaves more fine grained details to the implementation.

Otherwise looks fine.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/27356#discussion_r2369453234


More information about the core-libs-dev mailing list