title: How can I convert a set of numeric strings to a set of integers?
body: <p>I have a set</p>
  
  <pre><code>set1= { '1', '2' }
  </code></pre>
  
  <p>I want to convert '1', '2' to int  , like this :</p>
  
  <pre><code>set_new = { 1, 2 }
  </code></pre>
  
  <p>How can I do this in python?</p>