(defknown %bignum-ref-with-offset (bignum-type bignum-index (signed-byte 24))
bignum-element-type (flushable always-translatable))
(defknown %bignum-set (bignum-type bignum-index bignum-element-type)
bignum-element-type
(unsafe))
(defknown %bignum-ref-with-offset (bignum-type bignum-index (signed-byte 24))
bignum-element-type (flushable always-translatable))
(defknown %bignum-set (bignum-type bignum-index bignum-element-type)
bignum-element-type
(unsafe))