Motion 24.03: NO
I vote NO to Motion 24.03.
I agree with the reasons given by Vincent Lefevre.
The main reasons are
- I think i belongs to IEEE 754
- I feel it is possible to implement interval arithmetic without directed
roundings (and without maximal accuracy): see Fi_Lib.
Best regards
Nathalie Revol
------------------------------------------------------------------------------------------------------------
Nathalie Revol INRIA Grenoble - Rhone Alpes
LIP - projet Arenaire tel: (33) 4 72 72 85 83
Ecole Normale Superieure de Lyon fax: (33) 4 72 72 80 80
69364 Lyon Cedex 07, France Nathalie.Revol@xxxxxxxxxxx
http://perso.ens-lyon.fr/nathalie.revol/
------------------------------------------------------------------------------------------------------------