Re: [Python-Dev] <int> in <str>