(PUSH_FAILURE_INT, POP_FAILURE_INT): Use WIDE_INT.