PHP浮点比较大小的方法