Searched refs:external_bignum_2547X (Results 1 – 2 of 2) sorted by relevance
6605 char * external_bignum_2547X; in s48_restart() local20500 external_bignum_2547X = (char *) s48_bignum_arithmetic_shift(x_2546X, y_2345X); in s48_restart()20501 v_2548X = s48_bignum_fits_in_word_p(external_bignum_2547X, 62, 1); in s48_restart()20503 n_2549X = s48_bignum_to_long(external_bignum_2547X); in s48_restart()20507 v_2550X = enter_bignum(external_bignum_2547X); in s48_restart()
6605 char * external_bignum_2547X; in s48_restart() local20500 external_bignum_2547X = (char *) s48_bignum_arithmetic_shift(x_2546X, y_2345X); in s48_restart()20501 v_2548X = s48_bignum_fits_in_word_p(external_bignum_2547X, 30, 1); in s48_restart()20503 n_2549X = s48_bignum_to_long(external_bignum_2547X); in s48_restart()20507 v_2550X = enter_bignum(external_bignum_2547X); in s48_restart()