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

(* Last modified on Sat Mar 16 03:23:48 1991 by muller         *)

INTERFACE ExtendedFloat = Float(Extended) END ExtendedFloat.