3v4l.org

run code in 300+ PHP versions simultaneously
<?php print preg_replace('/[^\d\.]/', '', 0.000009); print "<br/>"; print preg_replace('/[^\d\.]/', '', '0.000009');

preferences:
46.42 ms | 402 KiB | 5 Q