RFR: 8333768: Minor doc updates to java.lang.{Float, Double} [v5]

[Raffaello Giulietti]

On Sat, 13 Jul 2024 22:44:31 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Misc small doc updates and addition of `@Overrides` annotations.
>
> Joe Darcy has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains eight additional commits since the last revision:
> 
>  - Sample precision-based conversion.
>  - Merge branch 'master' into JDK-8333768
>  - Include "-" to HTML minus update.
>  - Merge branch 'master' into JDK-8333768
>  - Respond to review feedback.
>  - Merge branch 'master' into JDK-8333768
>  - Merge branch 'master' into JDK-8333768
>  - JDK-8333768: Minor doc updates to java.lang.{Float, Double}

Marked as reviewed by rgiulietti (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/19590#pullrequestreview-2177049990