DEFINITION MathCom; (* SJ *) CONST pi* = 3.1415926535897932384626434; twoopi* = 2.0 / pi; pio2* = pi / 2.0; pio4* = pi / 4.0; sqrt2* = 1.4142135623730950488016887; PROCEDURE frexp* (value: REAL; VAR exp: INTEGER): REAL; (* Returns the real mantissa x of value and an integer exp such that value = x * 2 ** exp. *) PROCEDURE ldexp* (value: REAL; exp: INTEGER): REAL; (* Returns value * 2 ** exp *) PROCEDURE modf* (value: REAL; VAR int: INTEGER): REAL; (* Returns the positive fractional part of value and (by int) the integer part. *) PROCEDURE sarctan* (arg: REAL): REAL; (* Reduces its positive argument to the range {0 .. 0.414} and calls xatan. *) END MathCom.