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

[Brian Burkhalter]

The CSR [1] of [2] is now available for review.

If you have comments, please reply to this thread. If you have JBS access you can add comments directly to the issue, but please also comment here for the benefit of those who cannot receive automated JBS updates.

Thanks to Raffaello for supplying all the content of this CSR issue.

Brian

[1] https://bugs.openjdk.java.net/browse/JDK-8202555
[2] https://bugs.openjdk.java.net/browse/JDK-4511638