title: How to extract a float from a string
body: <p>I have a string: <code>string = "2017.5 is halfway through the year"</code>. Is there a way to extract this <code>"2017.5"</code> from the string? I tried using <code>string.isdigit()</code>, but that only worked for non-floats.</p>