#include <stdio.h>
#include <gmp.h>

int main(void)
{
    mpz_t x;

    mpz_init(x);
    mpz_set_str(x, "12345", 10);
    mpz_mul_ui(x, x, 2);

    gmp_printf("%Zdn", x);

    mpz_clear(x);
    return 0;
}