I was reading a book. The book says that -
with the addition of a floating point satisfies the following monotonicity property:if a>=bthen (x + a) >= (x+b)for any value a, band x, except NaN. This property of real (and integer) addition is not subject to unsigned or two additions to the complement.
a>=b
(x + a) >= (x+b)
a
b
x
NaN
How does a floating point obey it?Why is an addition without a sign or two additions not subject to it?
C , .. . , 1 , , , , .
, , C undefined, .
C, IEEE745, ( , NaN, NaN ) , : , , , , . , , .