Re: As simple as it is now, I am still against motion 24.03...
BTW, providing point -> interval functions may be a bit dangerous, as
a user could write f_interval(1.0/3.0) and this would be incorrect.
But anyway, there will be point -> interval constructors, and one
cannot prevent a user from using one with an inexact point.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)