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

[Raffaello Giulietti]

Hi folks,

as nothing has substantially moved towards approval of the patch [1] and 
the corresponding CSR [2], let's split the issue into its constituents.

The CSR is currently finalized and needs a further review for approval. 
This requires much less time than a review of the implementation [1].

The CSR has been carefully written to match the observed behavior of the 
current OpenJDK 12 as close as possible while aiming at being more clear 
and 100% rigorous. It can be approved independently of the underlying 
implementation.

So please review and approve the CSR [2], regardless of the proposed 
improved implementation [1], which can be tackled later.


Greetings
Raffaello

----

[1] 
https://mail.openjdk.java.net/pipermail/core-libs-dev/2019-April/059783.html
[2] https://bugs.openjdk.java.net/browse/JDK-8202555
[3] https://drive.google.com/open?id=1KLtG_LaIbK9ETXI290zqCxvBW94dj058