PHP number variable type includes integer, double.
<?PHP $id=3; $value=4.21; ?>
<?PHP $id=3; if(is_int($id)) echo "is integer"; //is iteger else echo "not integer"; if(is_double($id)) echo "is double"; else echo "not double"; //not double ?>
<?PHP $num=1234567; $num2=number_format($num); echo "$num2\n"; //1,234,567 ?>
<?PHP mt_srand((double)microtime() * 1000000); $id=mt_rand(3,20); //get a number between 3 and 20 ?>