Follow-up to a3878d17

Forgot to add this chunk to the commit [a3878d17/integer-gmp]

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>