gmp :: NativeMPZ :: tdiv_q_ui
fun tdiv_q_ui(res: NativeMPZ, op: UInt64) `{ mpz_tdiv_q_ui(res, self, *op); `}