OSDN Git Service

* double-int.c (mpz_set_double_int): Moved from