On Mon, 13 Jan 2025 22:40:27 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Get IEEE 754 added as an external standard in JDK 24's docs too. Marked as reviewed by iris (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/23091#pullrequestreview-2548836665