-- Copyright (C) 1986 by Xerox Corporation. All rights reserved. -- LibmSupport.mesa -- NFS 11-Feb-86 9:32:20 -- Support functions for libm floating pt. functions. -- For drem(), use DoubleReal.DFRem -- For sqrt(), use DoubleRealFns.Sqrt DIRECTORY DoubleReal USING [Double]; LibmSupport: DEFINITIONS = { Double: TYPE = DoubleReal.Double; copysign: PROCEDURE [x, y: Double] RETURNS [Double]; scalb: PROCEDURE [x: Double, N: INTEGER] RETURNS [Double]; logb: PROCEDURE [x: Double] RETURNS [Double]; finite: PROCEDURE [x: Double] RETURNS [INTEGER]; drem: PROCEDURE [x, p: Double] RETURNS [Double]; expE: PROCEDURE [x, c: Double] RETURNS [Double]; }.