Fix AttributeError in is_positive_integer on Python 3.11#903

bug39 wants to merge 2 commits intogoogle:maingoogle/tunix:mainfrom

bug39:patch-1bug39/tunix:patch-1Copy head branch name to clipboard