On Jun 7, 2018, at 2:43 AM, Dirk Laurie <firstname.lastname@example.org> wrote:
Thanks for your last post on floating-point issue.
Yes, unspecified rounding is worse than extended precision rounding.
I keep saying "just pick one", but the Windows example probably kill it.
One of the author you mentioned, Vincent Lefèvre, also wrote
an article on issues with extended precision rounding 
Lefèvre is also a main developer in MPFR, an arbitrary precision C library
that that do correct rounding in arbitrary bits.