Fixed missing definition of NonNegativeInt