positive-int型