Searched refs:mpz_to_double (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbigrat.c419 mpz_to_double(MP_INT *z) function
453 #define mpz_to_double(z) mpz_get_d(z) macro
459 * return mpz_to_double(num) / mpz_to_double(den);
1148 Make_Double_Val(*out, mpz_to_double(&a));
1622 Make_Double(pres, Atan2(mpz_to_double(&a), mpz_to_double(&b)));

Completed in 29 milliseconds