Dear 1788 people,
2009/9/21 Vincent Lefevre <vincent@xxxxxxxxxx>
Standardising midrad has difficulties not present with infsup (non-
uniqueness of finite precision interval hull,
That's why it may be interesting to have it standardized, so that
different midrad implementations do not behave too differently.
I agree with Vincent. We should study MidRad more before making any quick
assumptions on whether it should be included or not. If it becomes clear
that its exclusion may lead to some future chaos then we should rise up to
the challenge and do the extra work needed to get a comprehensive standard.