PHP 是否有必要定义 64 位 INT 类型……