RFR: JDK-8285977: Add links to IEEE 754 specification

[Joe Darcy]

On Tue, 3 May 2022 08:25:30 GMT, Raffaello Giulietti <duke at openjdk.java.net> wrote:

> What about the DOI URL? Probably even more stable. https://doi.org/10.1109/IEEESTD.2019.8766229

Hmm. I'd rather use the IEEE URL for now; if that turns out to problematic, we can switch to the DOI one.

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

PR: https://git.openjdk.java.net/jdk/pull/8511