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

[Raffaello Giulietti]

Hi,

afaik, review of [1] (webrev in [2]) didn't progress in the meantime.

I'm very well aware that a full review requires some time (see [3] for 
my estimates), depending on your familiarity in working out the maths in 
[4] (*no* numerics, *no* floating-point arithmetic, promised!).

Yet, the associated CSR [5] can be reviewed independently of the 
proposed algorithm and implementation. It is in "finalized" status since 
2019-06-03 and requires a last push to be "approved" (15-30 minutes of 
concentrated work). The CSR strives to be a rigorous spec that leaves no 
leeway for ambiguities in the outcomes. Would be nice if it could make 
it for Rampdown 1 of JDK 15 (2020-06-11).


Greetings
Raffaello

----

[1] 
https://mail.openjdk.java.net/pipermail/core-libs-dev/2020-March/065291.html
[2] http://cr.openjdk.java.net/~bpb/4511638/webrev.04/
[3] 
https://mail.openjdk.java.net/pipermail/core-libs-dev/2020-April/066160.html
[4] https://drive.google.com/open?id=1luHhyQF9zKlM8yJ1nebU0OgVYhfC6CBN
[5] https://bugs.openjdk.java.net/browse/JDK-8202555