6.13.10.6 The <non-negative-fixnum> type

Core Type: <non-positive-fixnum>

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

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