real-not-inf-not-nan -- r7rs Type rational:
integer:
exact-integer:
inexact-integer;integer-not-zero:
integer-even;integer-odd;integer-positive-or-zero:
integer-negative-or-zero:
exact-rational:
exact-integer:
inexact-rational:
rational-not-zero:
integer-not-zero:
rational-positive:
rational-negative:
rational-positive-or-zero:
rational-zero:
rational-positive:
integer-positive-or-zero:
rational-negative-or-zero:
rational-zero:
rational-negative:
integer-negative-or-zero:
exact-real:
exact-rational:
exact-integer:
real-zero:
rational-zero:
integer-zero:
inexact-real-not-inf-not-nan:
number-not-inf-not-nan;number-not-inf;number;number-not-nan;complex-not-inf;complex;complex-not-nan;real;integer;exact-rational;exact-integer;inexact-rational;inexact-integer;rational-zero;integer-zero;exact-integer-zero;rational-not-zero;integer-not-zero;exact-integer-not-zero;integer-even;integer-odd;rational-positive;integer-positive;exact-integer-positive;rational-negative;integer-negative;exact-integer-negative;rational-positive-or-zero;integer-positive-or-zero;exact-integer-positive-or-zero;rational-negative-or-zero;integer-negative-or-zero;exact-integer-negative-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;floor;ceiling;truncate;round;rationalize;make-rectangular;real-part;imag-part;make-polar;magnitude;angle;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;exact;finite?;infinite?;nan?;Note: These definitions consume an input that is a super-type.
rationalize;floor;ceiling;truncate;round;gcd;lcm;numerator;abs;sqrt;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) (not (infinite? value)) (not (nan? value))))