On Tue, 4 Oct 2022 19:56:21 GMT, Joe Darcy <da...@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 incrementally with one additional > commit since the last revision: > > Appease jcheck; reflow paragraphs. Marked as reviewed by psandoz (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/10498