6.13.10.5 The <non-positive-fixnum> type

Core Type: <non-negative-fixnum>

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

(define-type <non-negative-fixnum>
  (or <zero-fixnum> <positive-fixnum>))