(* Copyright (C) 1992, Xerox                                              *)
(* All rights reserved.                                                   *)

(* Last modified on Fri Feb 28 20:38:42 PST 1992 by stolfi                *)
(*      modified on Tue Feb 11 15:18:44 PST 1992 by muller                *)
(*      modified on Wed Sep 25 00:33:01 1991 by goldberg@xerox.parc.com   *)

INTERFACE LongReal; 

(* Properties of LONGREAL (for SPARCstations).

   This package defines some basic properties of the 
   built-in float type LONGREAL, for SPARCstation machines.

   Index: LONGREAL; floating-point; generics
*)

TYPE T = LONGREAL; 

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.7976931348623157D+308;
  (* The maximum finite value in T.  For non-IEEE implementations,
     this is the same as LAST(T). *)

  MinPos: T = 4.9406564584124654D-324;
  (* The minimum positive value in T. *)

  MinPosNormal: T = 2.2250738585072014D-308;
  (* The minimum positive "normal" value in T; differs from MinPos
     only for implementations with denormalized numbers. *)

END LongReal.