[jdk24] RFR: 8347605: Use spec tag to refer to IEEE 754 standard

[Chen Liang]

On Mon, 13 Jan 2025 22:40:27 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Get IEEE 754 added as an external standard in JDK 24's docs too.

Marked as reviewed by liach (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/23091#pullrequestreview-2548223777