PHP整数数据类型