Fix integer overflow issue on 32-bit Linux.
Upgrade PHP's problems to GMP module.