id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
12524	cpp_bin_float: Anal fixation. Part 1. Sign of zero result of summation.	Michael Shatz	John Maddock	"IEEE-754 has one simple rule - subtraction of two equal finite numbers results in +0.
From here follows that there are only two cases in which subtraction/addition of zeros results in -0:
 -0 + -0  and -0 - +0. All other combinations results in +0.

Also from here follows that subtraction/addition of non-zeros with equal absolute value never results in -0.

I see no good reasons why boost::cpp_bin_float should not follow the same conventions.
But right now it does not.
"	Feature Requests	closed	Boost 1.63.0	multiprecision	Boost 1.62.0	Cosmetic	fixed