Fix broken predicate in PHP's problem 55.
Solve problem 17 using Rust.
Fix PHP's GMP problems on on 32-bit Linux.