PHP Numbers

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

$x = 59.85;
var_dump(is_int($x));
?>$num = "3.14";
$int = (int)$num;
Source

Also in PHP: