DEFINITION MODULE LongMath; (* ISO 10514-1 real math for LONGREAL. V3 models LONGREAL as REAL, so the procedures delegate to Math (libm). *) CONST pi = 3.1415926535897932384626433832795028841972; exp1 = 2.7182818284590452353602874713526624977572; PROCEDURE sqrt (x : LONGREAL) : LONGREAL; PROCEDURE exp (x : LONGREAL) : LONGREAL; PROCEDURE ln (x : LONGREAL) : LONGREAL; PROCEDURE sin (x : LONGREAL) : LONGREAL; PROCEDURE cos (x : LONGREAL) : LONGREAL; PROCEDURE tan (x : LONGREAL) : LONGREAL; PROCEDURE arcsin (x : LONGREAL) : LONGREAL; PROCEDURE arccos (x : LONGREAL) : LONGREAL; PROCEDURE arctan (x : LONGREAL) : LONGREAL; PROCEDURE power (base, exponent : LONGREAL) : LONGREAL; PROCEDURE round (x : LONGREAL) : INTEGER; PROCEDURE IsRMathException () : BOOLEAN; END LongMath.