PositiveInteger: number

Integer greater 0