update __int__, __del__ methods