Dan Zuras Intervals wrote:
If we are to pursue this at this time, please include accurate
versions of all of sum, dot product, sum of squares, & sum of
absolute values for all supported precisions.
...
I think only interval-valued results for noninterval inputs should
be provided by the standard. Then there are no problems.
If some element is NaN or two terms in the sum are +inf and -inf,
the result should be the empty set; otherwise the tightest enclosing
interval of the exact result should be returned.