fixed DoesUnderflow