(* Copyright (C) 1991, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) INTERFACE M3CBackEnd_Float_Real = M3CBackEnd_Float(Real) END M3CBackEnd_Float_Real.