FYI, planned update of floating-point terminology in JLS and JVMS to IEEE 754-2019

[Florian Weimer]

* Joe Darcy:

> The Java Language Specification (JLS) and Java Virtual Machine 
> Specification (JVMS) use terminology from and make reference to the 1985 
> release of the IEEE 754 floating-point standard. The IEEE 754 standard 
> from 1985 has been superseded, most recently by a release from 2019.

I don't have access to the IEEE standard (yeah, I know …), but there
are rumors that the Math::min and Math::max implementations for
floating point arguments now match some IEEE 754 operation.  If this
indeed ttrue, it would make sense to update the Javadoc accordingly.

(This goes in the opposite direction of what JDK-8240632 is about.)