6.13.4.2 The <positive-real> type

Core Type: <positive-real>

Type of positive real values. Its definition is equivalent to:

(define-type <positive-real>
  (or <positive-fixnum> <positive-bignum> <positive-flonum>))