[Cfp-interest 2855] Re: CFP review of TS-4 and TS-5 revisions

[David Hough CFP]

You are correct - my fingers were flying faster than my brain.

> The short algorithms I listed do have the property that {max:max} is
> not a possible result, and indeed the final result {x.h;x.t} will always
> have |x.h| > |x.t|.    Whether the signs agree might indeed depend on the
> rounding mode.   754r however says that the augmented operations compute
> x.h using roundTiesTowardZero.   So the signs should always agree.

That was wrong.  roundTiesTowardZero works as you say.   The signs might differ.
I was thinking roundTowardZero, even as I typed roundTiesTowardZero.