real-positive-or-zero-not-inf -- r7rs Type real-zero:
rational-zero:
integer-zero:
real-positive-not-inf:
rational-positive-or-zero:
rational-zero:
integer-zero:
rational-positive:
integer-positive:
integer-positive-or-zero:
integer-zero:
integer-positive:
exact-integer-positive-or-zero:
number-positive-or-zero;number-not-nan;number;number-not-inf;real-not-nan;complex-not-nan;complex;real;complex-not-inf;rational-zero;integer-zero;exact-integer-zero;rational-positive;integer-positive;exact-integer-positive;integer-positive-or-zero;exact-integer-positive-or-zero;code-point-unicode;code-point-ascii;range-value;range-offset;range-start;range-end;range-length;range-length-zero;range-length-not-zero;byte;byte-ascii;number?;integer?;real?;rational?;complex?;exact?;inexact?;exact-integer?;zero?;=;+;-;*;/;expt;square;inexact;sqrt;exp;log;sin;cos;tan;asin;acos;atan;number->string;<;<=;>=;>;positive?;negative?;abs;floor/;floor-quotient;floor-remainder;truncate/;truncate-quotient;truncate-remainder;min;max;Note: These definitions consume an input that is a super-type.
abs;imag-part;angle;sqrt;numerator;exact-integer-sqrt;denominator;digit-value;char->integer;length;vector-length;string-length;bytevector-length;bytevector-u8-ref;bytevector-u8-set!;Note: These definitions produce an output that is a sub-type.
(lambda (value) (and (real? value) (or (positive? value) (zero? value)) (not (infinite? value))))