python integer trick