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

[Brian Burkhalter]

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.

Thanks,

Brian

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