fork(14) download
  1. <?php
  2.  
  3. echo number_format(3.0, 1, ".", "") + 0; // 3
  4. echo PHP_EOL, number_format(1.1, 1, ".", "") + 0; // 1.1
  5. echo PHP_EOL, number_format(10000001.1, 1, ".", "") + 0; // 10000001.1
  6. echo PHP_EOL, number_format(10000001.0, 1, ".", "") + 0; // 1000000
Success #stdin #stdout 0s 82560KB
stdin
Standard input is empty
stdout
3
1.1
10000001.1
10000001