>>> s = "'8255'"
>>> int(s)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ValueError: invalid literal for int() with base 10: "'8255'"
Is there a handy function that will take regular string, or this kind of double string as in example, and produce integer.
It also has the advantage that given something that’s already an int…
You automatically get back an int…
see: http://docs.python.org/2/library/ast.html#ast.literal_eval