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