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.