PHP的几个常用数字判断函数代码，主要包括双精度，整数，字符判断等