xxxxxxxxxx
<?php
$a = 1.234;
var_dump($a);
echo "<br>";
$b = 10.2e3;
var_dump($b);
$c = 4E-10;
var_dump($c);
?>