how to return a floating number in php code example

Example: PHP Numbers

<?php
$x = 5985;
var_dump(is_int($x));

$x = 59.85;
var_dump(is_int($x));
?>