6.13.9.6 The <non-negative-exact-integer> type

Core Type: <non-negative-exact-integer>

Type of non–negative exact integers. Its definition is equivalent to:

(define-type <non-negative-exact-integer>
  (or <non-negative-fixnum> <positive-bignum>))