6.13.13.2 The <positive-ratnum> type

Core Type: <positive-ratnum>

Parent Type: <ratnum>

Type of positive ratnum values.

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

Validate obj as object of type <positive-ratnum>. Return obj itself.

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

The type predicate is positive-ratnum?. Return #t if obj is an object of type <positive-ratnum>; otherwise return #f.