How to remove thousands separator dot from the formatted numbers
<p>How can I remove the dot separator from formatted numbers? I'm getting a list from a website by using regular expression:</p>

<pre><code>a = [10.000, 20.000, 25.000]
</code></pre>

<p>How can I change them to <code>a = [10000, 20000, 25000]</code>? (They're integers now).</p>
