Integrated: 8333768: Minor doc updates to java.lang.{Float, Double}

[Joe Darcy]

On Fri, 7 Jun 2024 04:47:12 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Misc small doc updates and addition of `@Overrides` annotations.

This pull request has now been integrated.

Changeset: bbc79a5e
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/bbc79a5e0144cb5ee6051e078681f9c6821441cb
Stats:     113 lines in 4 files changed: 82 ins; 2 del; 29 mod

8333768: Minor doc updates to java.lang.{Float, Double}

Reviewed-by: rgiulietti

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

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