title: Python: Convert '3.5' to integer
body: <p>So far, I would do <code>int(float('3.5'))</code></p>
  
  <p>Any other good way to do?</p>
  
  <p>Note: 3.5 is a string.</p>
  
  <p>I want to use the the built-in API that specify for this sort of problem.</p>