[PATCH] 4511638: Double.toString(double) sometimes produces incorrect results

[Brian Burkhalter]

Hello,

I think I neglected to post the link here before, but the Compatibility and Specification Request (CSR) corresponding to this issue is at [2]. It has a specdiff attached to it which would be helpful in comparing the changes to the javadoc specification of {Double,Float}.toString(). Any comments or reviews from interested parties would be appreciated.

Thanks,

Brian

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