how to define double in php code example

Example: double in php

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