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

[Stuart Marks]

On Tue, 4 Oct 2022 05:55:00 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> While the floating-point == operation is *not* an equivalence relation, there are useful equivalence relations that can be defined over floating-point values. Text is added to java.lang.Double to discuss and name those relations.
>
> Joe Darcy has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision:
> 
>  - Respond to review feedback.
>  - Merge branch 'master' into JDK-8294539
>  - Add discussion of numerical equality.
>  - Fix typo.
>  - JDK-8294539: Augment discussion of equivlance relations on floating-point values

Marked as reviewed by smarks (Reviewer).

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

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