Integer subtraction overflow detector