Fixed PHP_INT_MAX not being 2^32 for accounting gigawords.
Merge pull request #556 from tuyan/c8b07434e3a1c9ae905c2e6cbef6f8fb25e3db00

Fix calculation of accounting gigawords.