title: PHP number format
body: <p>I have this string :</p>
  
  <pre><code>000000000000100
  </code></pre>
  
  <p>and need to convert it to:</p>
  
  <pre><code>1,00
  </code></pre>
  
  <p>So, the rules are:</p>
  
  <ol>
  <li>Divide the number by 100 and use a comma as decimal separator</li>
  <li>Strip leading zeros</li>
  <li>Keep two decimals</li>
  </ol>