6.13.6.3 The <non-negative-exact-rational> type

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

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

(define-type <non-negative-exact-rational>
  (or <non-negative-exact-integer> <positive-ratnum>))