6.13.12.9 The <non-negative-flonum> type

Core Type: <non-negative-flonum>

Parent Type: <flonum>

Type of non–negative flonum values. This type definition is equivalent to:

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