6.13.4.6 The <non-negative-real> type

Core Type: <non-negative-real>

Type of non–negative real values. Its definition is equivalent to:

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