title: Convert integers to floats in awk
body: <pre><code>cat file.txt
  1
  1.6
  0
  0.7
  2
  3
  3.7
  </code></pre>
  
  <p>The expected output is:</p>
  
  <pre><code>1.0
  1.6
  0.0
  0.7
  2.0
  3.0
  3.7
  </code></pre>
  
  <p>any awk or bash solution? Wherever is integer, convert to float.</p>