Another interesting comparison would be the cost of Int = IntInf. Also, to get good code, you would have to simplify some of the tests when one of the operands is a constant (and small). Still, I would be curious to see the cost of Int = IntInf vs. detecting overflow.