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. Looks fine. ------------- Marked as reviewed by bpb (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/23091#pullrequestreview-2548245622
