Revised handling of integer overflows