gmp/printf
