title: convert a list of strings to a list of numbers?
body: <p>I would like to convert a list of following strings into integers:</p>
  
  <pre><code>&gt;&gt;&gt; tokens
  ['2', '6']
  &gt;&gt;&gt; int(tokens)
  Traceback (most recent call last):
    File "&lt;stdin&gt;", line 1, in &lt;module&gt;
  TypeError: int() argument must be a string or a number, not 'list'
  </code></pre>
  
  <p>Other than writing a for loop to convert each member of the list <code>tokens</code>, is there a better way to do that? Thanks!</p>