gmp_binary_ui_op  858 gmp/gmp.c      	gmp_binary_ui_op(mpz_add, (gmp_binary_ui_op_t)mpz_add_ui);
gmp_binary_ui_op  866 gmp/gmp.c      	gmp_binary_ui_op(mpz_sub, (gmp_binary_ui_op_t)mpz_sub_ui);
gmp_binary_ui_op  874 gmp/gmp.c      	gmp_binary_ui_op(mpz_mul, (gmp_binary_ui_op_t)mpz_mul_ui);