Source

pygments-main / tests / examplefiles / ints.php

<?php

$x = array(0123, 0x0a, -0x0a, -0123, 12, -12);

?>
<?php
$a = 1.234; 
$b = 1.2e3; 
$c = 7E-10;
?>