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

[Raffaello Giulietti]

Hi,

just a gentle reminder for a RFR of [1] (see [5] for the original request).

An efficient implementation can be found on [2] and in Brian 
Burkhalter's webrev area [3]. This also requires a review. The full 
details are discussed in [4].


Greetings
Raffaello

----

[1] https://bugs.openjdk.java.net/browse/JDK-8202555
[2] 
https://mail.openjdk.java.net/pipermail/core-libs-dev/2019-April/059783.html
[3] http://cr.openjdk.java.net/~bpb/4511638/webrev.03/
[4] https://drive.google.com/open?id=1KLtG_LaIbK9ETXI290zqCxvBW94dj058
[5] 
https://mail.openjdk.java.net/pipermail/core-libs-dev/2019-July/061548.html