6.13.6.4 The <non-zero-exact-rational> type

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

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

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