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

[Joe Darcy]

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

Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:

  Respond to review feedback.

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

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

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

  Stats: 30 lines in 2 files changed: 26 ins; 0 del; 4 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