Re: Motion P1788.1/M004.01
On 2016-05-10 16:46:36 +0200, Ulrich Kulisch wrote:
> I think interval arithmetic should not be defined over the IEEE 754
> binary64 numbers. This more or less pulls all the IEEE 754
> exceptions into interval arithmetic.
There is a difference between being defined over the IEEE 754 binary64
numbers and being defined over the whole IEEE 754 standard (in the
sense "including the IEEE 754 standard"). Here, this is the former.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)