First step in converting to C: num_gmp