title: How to divide with awk?
body: <p>I want to read file and divide all elements by 0.03.Precision is IMPORTANT.Then to save result in output file.</p>
  
  <pre><code> #!/bin/bash
  
  var=$(cat 262_V01_C00_R000_TEx_BL_2048H.dat)
  mapfile var &lt; infile
  
  awk '{for(i=1;i&lt;=NF;i++) $i=$i*100/3}1' infile &gt; output
  </code></pre>
  
  <p>But I got</p>
  
  <pre><code>a4.sh: line 4: infile: No such file or directory
  </code></pre>
  
  <p>Sample input</p>
  
  <pre><code>-9.341203692800e+02
  -9.320539972800e+02
  -9.302205617600e+02
  </code></pre>
  
  <p>Sample output</p>
  
  <pre><code>-31137.345
  -31068.466
  -31007.352
  </code></pre>