Strip all non-numeric characters (except for ".") from a string in Python
<p>I've got a pretty good working snippit of code, but I was wondering if anyone has any better suggestions on how to do this:</p>

<pre><code>val = ''.join([c for c in val if c in '1234567890.'])
</code></pre>

<p>What would you do?</p>
