Source Code:
(back to article)
<?php $num = 3.14; if (is_float($num)) { echo '$num is a decimal number'; } else { echo '$num is not a decimal number'; }
Result:
Report an issue