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

[Joe Darcy]

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.

This pull request has now been integrated.

Changeset: f45a23ca
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/f45a23cabdcf43e1ae82e34a64f04df87a40d415
Stats:     30 lines in 7 files changed: 0 ins; 0 del; 30 mod

8347605: Use spec tag to refer to IEEE 754 standard

Reviewed-by: liach, bpb, iris
Backport-of: 7c883c284de4fa1cb55f4fd4cf4dc9115bee5e65

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

PR: https://git.openjdk.org/jdk/pull/23091