[Boost-bugs] [Boost C++ Libraries] #12199: cpp_bin_float addition: bad rounding when difference beetween exponents of operands is equal to # of bits in significand

Subject: [Boost-bugs] [Boost C++ Libraries] #12199: cpp_bin_float addition: bad rounding when difference beetween exponents of operands is equal to # of bits in significand
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2016-05-12 23:50:53

#12199: cpp_bin_float addition: bad rounding when difference beetween exponents of
operands is equal to # of bits in significand
------------------------------+----------------------------
 Reporter:  Michael Shatz     |      Owner:  johnmaddock
     Type:  Bugs              |     Status:  new
Milestone:  To Be Determined  |  Component:  multiprecision
  Version:  Boost 1.60.0      |   Severity:  Problem
 Keywords:                    |
------------------------------+----------------------------
 If the difference of exponents of two cpp_bin_float values is exactly
 equal to # of bits in significand then result of addition
 is not rounded correctly.

 Platform: Mingw, gcc 5.3.0, x64. All optimization levels.
 Library version: both 1.60.0 and the newest files from github

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/12199>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.