6.13.10.2 The <positive-fixnum> type

Core Type: <positive-fixnum>

Parent Type: <fixnum>

Type of positive fixnum values.

Constructor on <positive-fixnum>: <positive-fixnum> type-constructor obj

Validate obj as object of type <positive-fixnum> and return it.

Type predicate on <positive-fixnum>: <boolean> type-predicate obj

The type predicate is positive-fixnum?. Return #t if obj is a <positive-fixnum> object, otherwise return #f.