@@ -501,8 +501,8 @@ uint64_t idris_truncBigB64(const mpz_t bi) {
501 return mpz_get_ui(bi);
501 return mpz_get_ui(bi);
503 int64_t out = mpz_get_ui(bi);
503 int64_t out = mpz_get_ui(bi);
504− if (bi->_mp_size > 1 ) {
504+ if (mpz_size(bi) > 1) {
505− out |= (uint64_t)bi->_mp_d[1] << 32;
505+ out |= mpz_getlimbn(bi, 1) << 32;
507 return out;
507 return out;