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

(* Last modified on Tue Feb 11 15:18:45 PST 1992 by muller                   *)
(*      modified on Wed Sep 25 00:33:01 1991 by goldberg@xerox.parc.com      *)


MODULE ExtendedFloat;

PROCEDURE Scalb(<*UNUSED*> x: T; <*UNUSED*> n: INTEGER): T =
  BEGIN
    <*ASSERT FALSE*>
  END Scalb;

PROCEDURE Logb(<*UNUSED*> x: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END Logb;

PROCEDURE ILogb(<*UNUSED*> x: T): INTEGER =
  BEGIN
    <*ASSERT FALSE*>
  END ILogb;

PROCEDURE NextAfter(<*UNUSED*> x, y: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END NextAfter;

PROCEDURE CopySign(<*UNUSED*> x, y: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END CopySign;

PROCEDURE Finite(<*UNUSED*> x: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Finite;

PROCEDURE IsNaN(<*UNUSED*> x: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END IsNaN;

PROCEDURE Sign(<*UNUSED*> x: T): [0..1] =
  BEGIN
    <*ASSERT FALSE*>
  END Sign;

PROCEDURE Differs(<*UNUSED*> x, y: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Differs;

PROCEDURE Unordered(<*UNUSED*> x, y: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Unordered;

PROCEDURE Sqrt(<*UNUSED*> x: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END Sqrt;
  
PROCEDURE Class(<*UNUSED*> x: T): IEEEClass =
  BEGIN
    <*ASSERT FALSE*>
  END Class;

BEGIN       
END ExtendedFloat.