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

[Brian Burkhalter]

> On Mar 7, 2019, at 6:01 PM, Andrew Haley <aph at redhat.com> wrote:
> 
> On 3/7/19 10:10 AM, Brian Burkhalter wrote:
>> 
>>> On Mar 7, 2019, at 10:04 AM, Andrew Haley <aph at redhat.com <mailto:aph at redhat.com>> wrote:
>>> 
>>> I still believe you'd be better off defining an unsigned multiplyHigh than
>>> all that messing about with shifts and masks in rop().
>> 
>> There is in fact an open issue for unsigned multiplyHigh:
>> 
>> https://bugs.openjdk.java.net/browse/JDK-8188044 <https://bugs.openjdk.java.net/browse/JDK-8188044>
> 
> Do you want to do it? If not I will.

Your contribution would be most welcome.

Thanks,

Brian