fork(2) download
  1. <?php
  2. $arr= Array("123.4", "", "123e4", "slovo");
  3. foreach ($arr as $k=>$a)
  4. if (($a + 0) == $a) echo $a."\n";
Success #stdin #stdout 0.01s 20568KB
stdin
Standard input is empty
stdout
123.4

123e4
slovo