Data Type Php

$a = 0.1;
echo( is_double($a) );
?>