Searched defs:mpz_set_double_int (Results 1 – 3 of 3) sorted by relevance
1500 mpz_set_double_int (mpz_t result, double_int val, bool uns) in mpz_set_double_int() function