remove unnecessary nonnegative check for unsigned variable