Searched refs:random_deviate_leading_bit (Results 1 – 1 of 1) sorted by relevance
227 random_deviate_leading_bit (mpfr_random_deviate_ptr x, gmp_randstate_t r) in random_deviate_leading_bit() function299 l = random_deviate_leading_bit (x, r); /* l > 0 */ in mpfr_random_deviate_value()