Copyright (C) 1994, Digital Equipment Corp. INTERFACEProperties of EXTENDED (for ANSI/IEEE Standard 754-1985).Extended ;
This package defines some basic properties of the built-in float type EXTENDED.
Index: EXTENDED; floating-point; generics
TYPE T = EXTENDED;
CONST
Base: INTEGER = 2;
(* The radix of the floating-point representation for T *)
Precision: INTEGER = 53;
(* The number of digits of precision in the given Base for T. *)
MaxFinite: T = 1.7976931348623157X+308;
(* The maximum finite value in T. For non-IEEE implementations,
this is the same as LAST(T). *)
MinPos: T = 4.9406564584124654X-324;
(* The minimum positive value in T. *)
MinPosNormal: T = 2.2250738585072014X-308;
(* The minimum positive "normal" value in T; differs from MinPos
only for implementations with denormalized numbers. *)
CONST
MaxExpDigits = 3;
MaxSignifDigits = 17;
MaxExpDigitsis the smallest integer with the property that every finite number of typeTcan be written in base-10 scientific notation using an exponent with at mostMaxExpDigits.MaxSignifDigitsis the smallest integer with the property that floating-decimal numbers withMaxSignifDigitsare more closely spaced, all along the number line, than are numbers of typeT. Typically,
MaxExpDigits = ceiling(log_10(log_10(MaxFinite)))
MaxSignifDigits = ceiling(log_10(Base^Precision)) + 1.
END Extended.