Double string to int
<pre><code>&gt;&gt;&gt; s = "'8255'"
&gt;&gt;&gt; int(s)
Traceback (most recent call last):
  File "&lt;stdin&gt;", line 1, in &lt;module&gt;
ValueError: invalid literal for int() with base 10: "'8255'"
</code></pre>

<p>Is there a handy function that will take regular string, or this kind of double string as in example, and produce integer.</p>
