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

[Joe Darcy]

On Mon, 3 Oct 2022 20:04:09 GMT, Stuart Marks <smarks at openjdk.org> wrote:

>> Joe Darcy has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - Add discussion of numerical equality.
>>  - Fix typo.
>
> src/java.base/share/classes/java/lang/Double.java line 181:
> 
>> 179:  * <li> {@code +0.0} and {@code -0.0} are distinguished from each other.
>> 180:  * <li> every bit pattern encoding a NaN is considered equivalent to each other
>> 181:  * <li> an infinite value is equivalent to an infinite value of the same sign
> 
> Seems like this line on infinities could be reworded. I wouldn't quibble over this except that I had to read it several times to figure out what it meant. The statement on NaN is universally quantified, whereas the statement on infinite values starts off sounding like an existential quantifier. Possibly: "all infinite values of the same sign are considered equivalent to each other."

Update as suggested and added some cross-links in from BigDecimal; thanks.

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

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