Sublime Text
<?php $a = 65.5; $b = 5e3; var_dump($a); echo "<br>"; var_dump($b); ?>
float(65.5)
float(5000)