>For those who wonder, those kind of small optimizations would make a very
>clean and efficient implementation of interval arithmetic, so it's useful.
Have you looked at the following link? (I haven't, for ages, anyway.)
It might contain some info you find useful.
http://www.mscs.mu.edu/~globsol
tq vm, (burley)