gmp 5.1.2

Closes #20515.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>