PHP 什么时候能迎来默认 integer 是 64 位的那一天？不然 MySQL 里的 bigint 出来还的被削