Doble en PHP

<?php
$a = 1.234;
$b = 1.2e3;
$c = 7E-10;
$d = 1_234.567; // PHP >= 7.4.0
?>
VasteMonde