title: Format floating point number with leading zeros
body: <p>Why does</p>
  
  <pre><code>System.out.format("%03.3f", 1.23456789);
  </code></pre>
  
  <p>print <code>1.235</code> instead of <code>001.235</code>?</p>
  
  <p>How has my <code>format</code> string to look like to get <code>001.235</code> as output of the following code line?</p>
  
  <pre><code>System.out.format(format, 1.23456789);
  </code></pre>