See __int__.