Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.dougwise.org!nntpfeed.proxad.net!proxad.net!feeder1-1.proxad.net!feeder.news-service.com!postnews.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 09 Aug 2011 11:07:34 -0500 Date: Tue, 09 Aug 2011 09:07:33 -0700 From: Patricia Shanahan User-Agent: Mozilla/5.0 (Windows NT 5.2; WOW64; rv:5.0) Gecko/20110624 Thunderbird/5.0 MIME-Version: 1.0 Newsgroups: comp.lang.java.programmer Subject: Re: higher precision doubles References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Lines: 13 X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 70.230.203.65 X-Trace: sv3-CLw3bQVaV3wvZl4uhAGEQ8wWpzBpo4iorMH8ivTR93M+6xA0YUdbjDpHUNt4S7HfrXVI+eZZxjfQp7C!dYCe9ijkf4t3GrWcpXVAR/IiHdK+tDGRF5ejrSHUzRXkRSiFbYj4cVFVsaIsmr+9+MrwVjeU9MCn!Glrps0VwzeyMpJLgyFnK/Rr34BWSQLTs7Z4HDd2S3iAQjA== X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1819 Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:6917 On 8/9/2011 5:00 AM, Jan Burse wrote: ... > The above document is a little bit sloppy, since it mentions > only additional bits in the exponent. But 80bit doubles have > both, additional bits in the mantissa and in the exponent. > So differences might be more subtle. ... My understanding from discussions at the time is that they were not being sloppy. They had already solved dealing with the extra mantissa bits, and remember the JLS defines *exactly* how numbers must round. Patricia