title: How to echo a floating point number within a bash script including the leading 0 before the dot
body: <p>I am echoing a floating point variable. The results looks as follows:</p>
  
  <pre><code>.4983385178
  </code></pre>
  
  <p>I am using echo -e "$var". How can I tell echo also to print the 0 before the dot:</p>
  
  <pre><code>0.4983385178
  </code></pre>
  
  <p>Thanks in advance!
  Jonas</p>