Correct use of gmp_init()

As suggested by @Rupert-RR