Exception handling for overflow - checks divergence