Added __int__ method