Yes that's what I'm trying to avoid. I've changed those two values so that they don't lead to underflow. The current resulting value is just a big negative number and I'm claiming it's small enough to ensure correctness on the range of applications we currently have in mind. Ideally I will try to get the result value to be -MAXINT.