（4/17追記）twitter経由でタレコミがありまして、恥ずかしいミスをコッソリ直しました（32bit整数の範囲について）。どなたかわかりませんが、ありがとうございます！ PHPの整数（integer型）はCのlong型をそのまま利用しています。つまり、32bit環境であれ…