RFR: 4511638: Double.toString(double) sometimes produces incorrect results [v13]

[Raffaello Giulietti]

> Hello,
> 
> here's a PR for a patch submitted on March 2020 [1](https://cr.openjdk.java.net/~bpb/4511638/webrev.04/) when Mercurial was a thing.
> 
> The patch has been edited to adhere to OpenJDK code conventions about multi-line (block) comments. Nothing in the code proper has changed, except for the addition of redundant but clarifying parentheses in some expressions.
> 
> 
> Greetings
> Raffaello

Raffaello Giulietti has updated the pull request incrementally with one additional commit since the last revision:

  4511638: Double.toString(double) sometimes produces incorrect results

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3402/files
  - new: https://git.openjdk.java.net/jdk/pull/3402/files/b40d7e80..31ca4e10

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3402&range=12
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3402&range=11-12

  Stats: 54 lines in 4 files changed: 0 ins; 0 del; 54 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3402.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3402/head:pull/3402

PR: https://git.openjdk.java.net/jdk/pull/3402