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

[Raffaello Giulietti]

On Mon, 22 Sep 2025 21:10:29 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.

Marked as reviewed by rgiulietti (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/27356#pullrequestreview-3255219063