Minor py-int tweaks