added __int__