add positive integer type