GNU GMP, gitified