NON NEGATIVE INTEGER
====================
type
    NonNegativeInt