Henry, it occurs to me that at the time you wrote the implementation of IntInf, we didn't implement integer arithmetic raising Overflow. I was wondering if it would make sense (for you) to go back through the implementation and look at places where you could use Overflow to speed stuff up.