RFR: JDK-8294539: Augment discussion of equivalence relations on floating-point values [v2]

[Stuart Marks]

On Tue, 4 Oct 2022 19:28:24 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Update as suggested and added some cross-links in from BigDecimal; thanks.
>
> PS To further spell things out, I added an additional trailing paragraph:
> 
> "For two binary floating-point values a and b, if neither of a and b is zero or NaN, then the three relations numerical equality, bit-wise equivalence, and representation equivalence of a and b have the same true/false value. In other words, for binary floating-point values, the three relations only differ if at least one argument is zero or NaN."

The additional paragraph sounds fine.

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

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