Using exact arithmetic for interval arithmetic is not
possible for irrational or transcendental functions (sqrt, cos).
Also, part of the idea of fast interval arith. is to use
machine hardware.  The IEEE round mode bit (setting it
is usually one or two machine instructions) is what is
most likely needed.