Use GMP's low-level routines for num (mpn_)