php.js : is_double() function example
Test whether a value is double or not.....