--- a
+++ b/IEEE.def
@@ -0,0 +1,44 @@
+DEFINITION MODULE IEEE;
+
+ (*========================================================================*)
+ (* HINWEIS : Bitte nur die Datei IEEE.def.m2pp editieren *)
+ (*========================================================================*)
+ (* Es sind 2 Versionen enthalten die mit *)
+ (* *)
+ (* m2pp -D __{Parameter}__ < EigenLib1.mod.m2pp > EigenLib1.mod *)
+ (* *)
+ (* mit Parameter = {LITTLEENDIAN|BIGENDIAN} erzeugt werden koennen. *)
+ (*------------------------------------------------------------------------*)
+ (* IEEE positive infinity (NAN) and infinity (INF) constants for *)
+ (* IEEE 754 machines. *)
+ (*------------------------------------------------------------------------*)
+ (* Implementation : Michael Riedl *)
+ (* Licence : GNU Lesser General Public License (LGPL) *)
+ (*------------------------------------------------------------------------*)
+
+ (* $Id: IEEE.def.m2pp,v 1.1 2018/05/26 16:35:35 mriedl Exp mriedl $ *)
+
+FROM SYSTEM IMPORT CARD8;
+
+TYPE LongReal = RECORD
+ CASE : BOOLEAN OF
+ |TRUE : C8 : ARRAY [0..7] OF CARD8;
+ |FALSE: R8 : LONGREAL;
+ END;
+ END;
+
+(* LITTLE ENDIAN *)
+
+(* Not accepted by XDS
+ *
+ * CONST INF = {000H,000H,000H,000H,000H,000H,0F0H,07FH };
+ * NAN = {000H,000H,000H,000H,000H,000H,0F8H,07FH };
+ *)
+
+CONST inf = LongReal{TRUE,{000H,000H,000H,000H,000H,000H,0F0H,07FH}};
+ nan = LongReal{TRUE,{000H,000H,000H,000H,000H,000H,0F8H,07FH}};
+
+ INF = inf.R8;
+ NAN = nan.R8;
+
+END IEEE.