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

[Joe Darcy]

> 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}

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/19590/files
  - new: https://git.openjdk.org/jdk/pull/19590/files/4277c32b..9b83dbc4

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=19590&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=19590&range=03-04

  Stats: 45967 lines in 1153 files changed: 30174 ins; 10270 del; 5523 mod
  Patch: https://git.openjdk.org/jdk/pull/19590.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/19590/head:pull/19590

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