(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Fri Feb 28 20:21:20 PST 1992 by stolfi     *)
(*      modified on Wed Sep 25 00:05:24 1991 by kalsow         *)
(*      modified on Thu Nov  2 21:55:26 1989 by muller         *)

MODULE LongReal;

BEGIN
END LongReal.