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

[Brian Burkhalter]

The corresponding webrev may be viewed at [1].

Thanks,

Brian

[1] http://cr.openjdk.java.net/~bpb/4511638/webrev.01/ <http://cr.openjdk.java.net/~bpb/4511638/webrev.01/>

> On Mar 6, 2019, at 7:31 PM, raffaello.giulietti at gmail.com <mailto:raffaello.giulietti at gmail.com> wrote:
> 
> the latest version of the patch, replacing the one found at [1].
> In the next days, my sponsor Brian Burkhalter will publish it as a webrev.