py: Make int(<longint>) work by just returning the longint.