On Mon, 3 Oct 2022 20:04:09 GMT, Stuart Marks <[email protected]> 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