Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Alternate floating-point results under directed rounding



Siegfried M. Rump schrieb:

Although examples like
   intval(maxreal+maxreal)
are a little constructed; usually we would assume the argument of
a constructor to be a constant.

No. Frequently one needs an enclosure of a function value at a point. Then the argument of a constructor will be a float variable, computed in an arbitrary way.

In any case, definitions in the standard must work for all allowed uses.


Arnold Neumaier