6.13.10.7 The <non-zero-fixnum> type

Core Type: <non-zero-fixnum>

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

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