fork(1) download 
  1. <?php
  2. function twelvedigits($a){
  3.     $a = number_format($a, 2, '', '');
  4.     printf("%012s\n", $a);
  5. }
  6. $one = 12.45;
  7. $two = 12.00;
  8.  
  9. echo '$one: ';
  10. twelvedigits($one);
  11. echo '$two: ';
  12. twelvedigits($two);
  13.  
  14. ?>
Success #stdin #stdout 0.02s 13112KB
comments (?)
stdin 
Standard input is empty
stdout 
$one: 000000001245
$two: 000000001200
https://ideone.com/I3UOmQ
language:
PHP (php 7.3.5)
created:
12 years ago
visibility:
secret

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!