title: Matching decimal number in grep
body: <p>I have a file that has the line: </p>
  
  <p>Time 97.7518 seconds</p>
  
  <p>I want to get the decimal time. Why is the following simple grep command not working?</p>
  
  <pre><code>grep -Ei "\d+\.\d+" Nasa-1024-256.txt
  </code></pre>