See
__int__
.