This type will be replaced by kotools.types.number.NonZeroInt.
Type representing integers that can't equal 0.