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

[Joe Darcy]

> 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.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/27356/files
  - new: https://git.openjdk.org/jdk/pull/27356/files/8c12eb7f..027ae509

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=27356&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=27356&range=02-03

  Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/27356.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/27356/head:pull/27356

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