On Sep 12, 2013, at 1:00 PM, David Chase wrote: > On 2013-09-12, at 1:17 AM, Dmitry Nadezhin <dmitry.nadez...@gmail.com> wrote: >> The optimal constant for double conversion could be 768 , >> the optimal constant for float conversion could be 142, >> but I leave this optimization to JDK 9. > > It would be helpful to mention in the proof/comment, that 768 refers to the > decimal representation that has had leading zeroes between decimal point > and mantissa trimmed.
I updated the webrev to include a comment for MAX_NDIGITS sans both hyperlink and the foregoing verbiage: http://cr.openjdk.java.net/~bpb/8024356/ If there is any more tweaking of comments which needs to be effected prior to an approval request being posted to 7u-dev, please let me know. Thanks, Brian
