isNonNegative passed