title: php, add trailing zeros if the number is integer
body: <p>Simple maths:</p>
  
  <pre><code>  $a=$b/$c; echo $a;
  </code></pre>
  
  <p>if $b equals to 123.00  and $c equals to 1 then $a becomes 123. </p>
  
  <p>If $b is 123.50, $c is 1, $a is 123.50. But in the former case , I want $a to be 123.00. </p>
  
  <p>It is possible to test whether $a has any non-zero fraction part or not, and then add the trailing zeros as necessary.</p>
  
  <p>But I am looking for php functions  to do the same thing. Possible?</p>
  
  <p><strong>EDIT :</strong></p>
  
  <p>What if I do not want the commas from <code>number_format</code> there ?</p>