gmp/scanf
