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

Brian Burkhalter brian.burkhalter at oracle.com
Wed Sep 26 19:18:40 UTC 2018

On Sep 26, 2018, at 11:24 AM, Brian Burkhalter <brian.burkhalter at oracle.com> wrote:

>> Since there's a change in the specification, according to my sponsor and
>> the formalities it has to undergo a CSR.
> I will update the CSR.

I updated the CSR [1] with the new verbiage for Double.toString() and Float.toString() and attached a specdiff versus the current JDK 12 repository. Please let me know of any errors.



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

More information about the core-libs-dev mailing list