toPositiveInt