Example:
PROC [c: FloatingPointCommon.NumberType, min:
BOOL ¬
FALSE]
RETURNS [
DREAL];
Returns an example of the given classification.
For all values of c except other, the classification of the result will be c.
If c = other, the result value is undefined, since there may be no DREAL values that classify as other (this is machine-dependent). The value of min is ignored.
If c = zero, +0.0 will be returned. The value of min is ignored.
If c = subnormal OR c = normal, the example returned will be the minimum value in that classification if min = TRUE, or the maximum value in that classification if min = FALSE.
IF c is in {infinity, quiet, signaling}, a "typical" value will be returned, which may be the only value in that class (the details are machine-dependent). The value of min is ignored.