RFR (CSR): 8202555: Double.toString(double) sometimes produces incorrect results

[Raffaello Giulietti]

Hello,

PR [1] and the accompanying article [2] have been subject to some 
positive reactions in the last couple of weeks. A fresh set of about 20 
thousand additional hard test cases kindly provided by Paul Zimmermann 
of INRIA and other tests proposed by Guy Steele have been added to the code.

The corresponding CSR [3] is in Finalized state for review. The proposed 
spec has been carefully written to uniquely define the outcomes and the 
code in the PR has been extensively tested to match the proposed spec.

Behavioral backward compatibility has been a major goal for the CSR. In 
fact, in the vast majority of cases, the CSR and the current 
implementation agree on the outcomes.

As the CSR is a prerequisite for the advancement of the PR, I beg 
everybody entitled (and interested) to review and approve it and/or 
discuss it further.


Greetings
Raffaello

----

[1] https://github.com/openjdk/jdk/pull/3402
[2] https://drive.google.com/file/d/1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN/view
[3] https://bugs.openjdk.java.net/browse/JDK-8202555