Bump gmp.
Add problems 116 and 117.