allow der-iterator to be used with mini-gmp