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

[Brian Burkhalter]

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.

Looks fine.

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

Marked as reviewed by bpb (Reviewer).

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