Math Processor Unit Library

author: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300 committer: kx <kx@radix-linux.su> 2024-12-20 16:11:07 +0300 commit: 868b2b66b564b5c00e3a74d10be45db7151627ac parent: cce2ae8d3312493b7653358bb4af201d3271377b
Commit Summary:
Version 1.0.14
Diffstat:
4 files changed, 164 insertions, 0 deletions
diff --git a/mpu/etens/emu00128/ei_mtens_001_emu32lsb.dfn b/mpu/etens/emu00128/ei_mtens_001_emu32lsb.dfn
new file mode 100644
index 0000000..3430d5c
--- /dev/null
+++ b/mpu/etens/emu00128/ei_mtens_001_emu32lsb.dfn
@@ -0,0 +1,46 @@
+
+#ifndef   __REAL_EINTERNAL_MTENS_001_32LSB
+#define   __REAL_EINTERNAL_MTENS_001_32LSB
+
+#if BITS_PER_EMUSHORT == 32
+
+static EMUSHORT _ei_mtens_128_[NTEN_128+1][NPIR_128] =
+{
+/*   lgw         S i g n i f i c a n d               hgw         Exp         Sign     */
+/*  ==========  ==================================  ==========  ==========  ==========*/
+  { 0x00000000, 0x5e82ef02, 0xb0082efb, 0x847c7fa4, 0x00000000, 0x0ad961ec, 0x00000000 }, /* 10**-268435456 */
+  { 0x00000000, 0x64317da9, 0x334d7a81, 0xb82a1134, 0x00000000, 0x256cb0f5, 0x00000000 }, /* 10**-134217728 */
+  { 0x00000000, 0xb910c17b, 0xac15477e, 0x9988fdbc, 0x00000000, 0x32b6587a, 0x00000000 }, /* 10**-067108864 */
+  { 0x00000000, 0xedf172f7, 0xf044b8a4, 0xc6413ec6, 0x00000000, 0x395b2c3c, 0x00000000 }, /* 10**-033554432 */
+  { 0x00000000, 0x65caaa05, 0x3af21be6, 0xe148e940, 0x00000000, 0x3cad961d, 0x00000000 }, /* 10**-016777216 */
+  { 0x00000000, 0x474021ec, 0x34c36502, 0xa9d020e2, 0x00000000, 0x3e56cb0e, 0x00000000 }, /* 10**-008388608 */
+  { 0x00000000, 0xced53edf, 0xb99b9db0, 0xd07fece5, 0x00000000, 0x3f2b6586, 0x00000000 }, /* 10**-004194304 */
+  { 0x00000000, 0xf6425fa4, 0x25b27986, 0xe708450f, 0x00000000, 0x3f95b2c2, 0x00000000 }, /* 10**-002097152 */
+  { 0x00000000, 0x5022eea3, 0xf4226e8e, 0xf33229bb, 0x00000000, 0x3fcad960, 0x00000000 }, /* 10**-001048576 */
+  { 0x00000000, 0xa95154bc, 0xad1ffa36, 0xf9840f38, 0x00000000, 0x3fe56caf, 0x00000000 }, /* 10**-000524288 */
+  { 0x00000000, 0xc34ea85a, 0x9d3f7af4, 0xb2b64ef1, 0x00000000, 0x3ff2b657, 0x00000000 }, /* 10**-000262144 */
+  { 0x00000000, 0x585ff859, 0x21687655, 0x973ecee3, 0x00000000, 0x3ff95b2b, 0x00000000 }, /* 10**-000131072 */
+  { 0x00000000, 0x25914b3e, 0xdc628061, 0x8b2358eb, 0x00000000, 0x3ffcad95, 0x00000000 }, /* 10**-000065536 */
+  { 0x00000000, 0x718e89d3, 0x5ca085e5, 0x8573f08e, 0x00000000, 0x3ffe56ca, 0x00000000 }, /* 10**-000032768 */
+  { 0x00000000, 0x456e9c51, 0x0e108517, 0xb8d5bbe7, 0x00000000, 0x3fff2b64, 0x00000000 }, /* 10**-000016384 */
+  { 0x00000000, 0x5d1d4ed5, 0x686da869, 0xd986c20b, 0x00000000, 0x3fff95b1, 0x00000000 }, /* 10**-000008192 */
+  { 0x00000000, 0x2de380c0, 0xd2ce9fde, 0xa6dd04c8, 0x00000000, 0x3fffcad8, 0x00000000 }, /* 10**-000004096 */
+  { 0x00000000, 0x49251297, 0x34362de4, 0xceae534f, 0x00000000, 0x3fffe56b, 0x00000000 }, /* 10**-000002048 */
+  { 0x00000000, 0x87a60140, 0xda57c0bd, 0xa2a682a5, 0x00000000, 0x3ffff2b5, 0x00000000 }, /* 10**-000001024 */
+  { 0x00000000, 0x7132d328, 0xdb23d21c, 0x9049ee32, 0x00000000, 0x3ffff95a, 0x00000000 }, /* 10**-000000512 */
+  { 0x00000000, 0xfa91114f, 0x637a1939, 0xc0314325, 0x00000000, 0x3ffffcac, 0x00000000 }, /* 10**-000000256 */
+  { 0x00000000, 0xac7cb3f3, 0x64bce4a0, 0xddd0467c, 0x00000000, 0x3ffffe55, 0x00000000 }, /* 10**-000000128 */
+  { 0x00000000, 0x3f2398d6, 0xa539e9a5, 0xa87fea27, 0x00000000, 0x3fffff2a, 0x00000000 }, /* 10**-000000064 */
+  { 0x00000000, 0x67de18ed, 0x453994ba, 0xcfb11ead, 0x00000000, 0x3fffff94, 0x00000000 }, /* 10**-000000032 */
+  { 0x00000000, 0x4c2ebe68, 0xc44de15b, 0xe69594be, 0x00000000, 0x3fffffc9, 0x00000000 }, /* 10**-000000016 */
+  { 0x00000000, 0xfdc20d2b, 0x8461cefc, 0xabcc7711, 0x00000000, 0x3fffffe4, 0x00000000 }, /* 10**-000000008 */
+  { 0x00000000, 0xd3c36113, 0xe219652b, 0xd1b71758, 0x00000000, 0x3ffffff1, 0x00000000 }, /* 10**-000000004 */
+  { 0x00000000, 0x3d70a3d7, 0x70a3d70a, 0xa3d70a3d, 0x00000000, 0x3ffffff8, 0x00000000 }, /* 10**-000000002 */
+  { 0x00000000, 0xcccccccd, 0xcccccccc, 0xcccccccc, 0x00000000, 0x3ffffffb, 0x00000000 }  /* 10**-000000001 */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_mtens_001_emu32lsb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_MTENS_001_32LSB */
diff --git a/mpu/etens/emu00128/ei_mtens_001_emu32msb.dfn b/mpu/etens/emu00128/ei_mtens_001_emu32msb.dfn
new file mode 100644
index 0000000..64763c2
--- /dev/null
+++ b/mpu/etens/emu00128/ei_mtens_001_emu32msb.dfn
@@ -0,0 +1,46 @@
+
+#ifndef   __REAL_EINTERNAL_MTENS_001_32MSB
+#define   __REAL_EINTERNAL_MTENS_001_32MSB
+
+#if BITS_PER_EMUSHORT == 32
+
+static EMUSHORT _ei_mtens_128_[NTEN_128+1][NPIR_128] =
+{
+/*   Sign        Exp         hgw         S i g n i f i c a n d               lgw      */
+/*  ==========  ==========  ==========  ==================================  ==========*/
+  { 0x00000000, 0x0ad961ec, 0x00000000, 0x847c7fa4, 0xb0082efb, 0x5e82ef02, 0x00000000 }, /* 10**-268435456 */
+  { 0x00000000, 0x256cb0f5, 0x00000000, 0xb82a1134, 0x334d7a81, 0x64317da9, 0x00000000 }, /* 10**-134217728 */
+  { 0x00000000, 0x32b6587a, 0x00000000, 0x9988fdbc, 0xac15477e, 0xb910c17b, 0x00000000 }, /* 10**-067108864 */
+  { 0x00000000, 0x395b2c3c, 0x00000000, 0xc6413ec6, 0xf044b8a4, 0xedf172f7, 0x00000000 }, /* 10**-033554432 */
+  { 0x00000000, 0x3cad961d, 0x00000000, 0xe148e940, 0x3af21be6, 0x65caaa05, 0x00000000 }, /* 10**-016777216 */
+  { 0x00000000, 0x3e56cb0e, 0x00000000, 0xa9d020e2, 0x34c36502, 0x474021ec, 0x00000000 }, /* 10**-008388608 */
+  { 0x00000000, 0x3f2b6586, 0x00000000, 0xd07fece5, 0xb99b9db0, 0xced53edf, 0x00000000 }, /* 10**-004194304 */
+  { 0x00000000, 0x3f95b2c2, 0x00000000, 0xe708450f, 0x25b27986, 0xf6425fa4, 0x00000000 }, /* 10**-002097152 */
+  { 0x00000000, 0x3fcad960, 0x00000000, 0xf33229bb, 0xf4226e8e, 0x5022eea3, 0x00000000 }, /* 10**-001048576 */
+  { 0x00000000, 0x3fe56caf, 0x00000000, 0xf9840f38, 0xad1ffa36, 0xa95154bc, 0x00000000 }, /* 10**-000524288 */
+  { 0x00000000, 0x3ff2b657, 0x00000000, 0xb2b64ef1, 0x9d3f7af4, 0xc34ea85a, 0x00000000 }, /* 10**-000262144 */
+  { 0x00000000, 0x3ff95b2b, 0x00000000, 0x973ecee3, 0x21687655, 0x585ff859, 0x00000000 }, /* 10**-000131072 */
+  { 0x00000000, 0x3ffcad95, 0x00000000, 0x8b2358eb, 0xdc628061, 0x25914b3e, 0x00000000 }, /* 10**-000065536 */
+  { 0x00000000, 0x3ffe56ca, 0x00000000, 0x8573f08e, 0x5ca085e5, 0x718e89d3, 0x00000000 }, /* 10**-000032768 */
+  { 0x00000000, 0x3fff2b64, 0x00000000, 0xb8d5bbe7, 0x0e108517, 0x456e9c51, 0x00000000 }, /* 10**-000016384 */
+  { 0x00000000, 0x3fff95b1, 0x00000000, 0xd986c20b, 0x686da869, 0x5d1d4ed5, 0x00000000 }, /* 10**-000008192 */
+  { 0x00000000, 0x3fffcad8, 0x00000000, 0xa6dd04c8, 0xd2ce9fde, 0x2de380c0, 0x00000000 }, /* 10**-000004096 */
+  { 0x00000000, 0x3fffe56b, 0x00000000, 0xceae534f, 0x34362de4, 0x49251297, 0x00000000 }, /* 10**-000002048 */
+  { 0x00000000, 0x3ffff2b5, 0x00000000, 0xa2a682a5, 0xda57c0bd, 0x87a60140, 0x00000000 }, /* 10**-000001024 */
+  { 0x00000000, 0x3ffff95a, 0x00000000, 0x9049ee32, 0xdb23d21c, 0x7132d328, 0x00000000 }, /* 10**-000000512 */
+  { 0x00000000, 0x3ffffcac, 0x00000000, 0xc0314325, 0x637a1939, 0xfa91114f, 0x00000000 }, /* 10**-000000256 */
+  { 0x00000000, 0x3ffffe55, 0x00000000, 0xddd0467c, 0x64bce4a0, 0xac7cb3f3, 0x00000000 }, /* 10**-000000128 */
+  { 0x00000000, 0x3fffff2a, 0x00000000, 0xa87fea27, 0xa539e9a5, 0x3f2398d6, 0x00000000 }, /* 10**-000000064 */
+  { 0x00000000, 0x3fffff94, 0x00000000, 0xcfb11ead, 0x453994ba, 0x67de18ed, 0x00000000 }, /* 10**-000000032 */
+  { 0x00000000, 0x3fffffc9, 0x00000000, 0xe69594be, 0xc44de15b, 0x4c2ebe68, 0x00000000 }, /* 10**-000000016 */
+  { 0x00000000, 0x3fffffe4, 0x00000000, 0xabcc7711, 0x8461cefc, 0xfdc20d2b, 0x00000000 }, /* 10**-000000008 */
+  { 0x00000000, 0x3ffffff1, 0x00000000, 0xd1b71758, 0xe219652b, 0xd3c36113, 0x00000000 }, /* 10**-000000004 */
+  { 0x00000000, 0x3ffffff8, 0x00000000, 0xa3d70a3d, 0x70a3d70a, 0x3d70a3d7, 0x00000000 }, /* 10**-000000002 */
+  { 0x00000000, 0x3ffffffb, 0x00000000, 0xcccccccc, 0xcccccccc, 0xcccccccd, 0x00000000 }  /* 10**-000000001 */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_mtens_001_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_MTENS_001_32MSB */
diff --git a/mpu/etens/emu00128/ei_ptens_001_emu32lsb.dfn b/mpu/etens/emu00128/ei_ptens_001_emu32lsb.dfn
new file mode 100644
index 0000000..03c2c77
--- /dev/null
+++ b/mpu/etens/emu00128/ei_ptens_001_emu32lsb.dfn
@@ -0,0 +1,46 @@
+
+#ifndef   __REAL_EINTERNAL_PTENS_001_32LSB
+#define   __REAL_EINTERNAL_PTENS_001_32LSB
+
+#if BITS_PER_EMUSHORT == 32
+
+static EMUSHORT _ei_tens_128_[NTEN_128+1][NPIR_128] =
+{
+/*   lgw         S i g n i f i c a n d               hgw         Exp         Sign     */
+/*  ==========  ==================================  ==========  ==========  ==========*/
+  { 0x00000000, 0x38524451, 0x7260c2f4, 0xf754c8f1, 0x00000000, 0x75269e11, 0x00000000 }, /* 10**268435456 */
+  { 0x00000000, 0x2201e808, 0x91f3e887, 0xb1ed94f5, 0x00000000, 0x5a934f08, 0x00000000 }, /* 10**134217728 */
+  { 0x00000000, 0x6a554f92, 0xa9f59ec9, 0xd56c6931, 0x00000000, 0x4d49a783, 0x00000000 }, /* 10**067108864 */
+  { 0x00000000, 0xf5ce6f41, 0x3ab27119, 0xa5483e39, 0x00000000, 0x46a4d3c1, 0x00000000 }, /* 10**033554432 */
+  { 0x00000000, 0xde7ef257, 0x056faab9, 0x9173919a, 0x00000000, 0x435269e0, 0x00000000 }, /* 10**016777216 */
+  { 0x00000000, 0x842a565f, 0xe5ded62a, 0xc0f71767, 0x00000000, 0x41a934ef, 0x00000000 }, /* 10**008388608 */
+  { 0x00000000, 0xe8687c38, 0xf9d3abca, 0x9d293029, 0x00000000, 0x40d49a77, 0x00000000 }, /* 10**004194304 */
+  { 0x00000000, 0x078f7fcb, 0xc84776a2, 0x8dd53e24, 0x00000000, 0x406a4d3b, 0x00000000 }, /* 10**002097152 */
+  { 0x00000000, 0x802f8629, 0x56458f50, 0x86bd34c2, 0x00000000, 0x4035269d, 0x00000000 }, /* 10**001048576 */
+  { 0x00000000, 0x672f95c4, 0x24b7c316, 0x835389e3, 0x00000000, 0x401a934e, 0x00000000 }, /* 10**000524288 */
+  { 0x00000000, 0xe01ab7ef, 0xbaad6104, 0xb75b3786, 0x00000000, 0x400d49a6, 0x00000000 }, /* 10**000262144 */
+  { 0x00000000, 0x084da908, 0xfe7769bd, 0xd8a7940b, 0x00000000, 0x4006a4d2, 0x00000000 }, /* 10**000131072 */
+  { 0x00000000, 0x71cf572c, 0xf0160e7f, 0xeb81cf19, 0x00000000, 0x40035268, 0x00000000 }, /* 10**000065536 */
+  { 0x00000000, 0xb3c10786, 0x5783a749, 0xf58a326a, 0x00000000, 0x4001a933, 0x00000000 }, /* 10**000032768 */
+  { 0x00000000, 0x6226e16c, 0xf16603b5, 0xb1485471, 0x00000000, 0x4000d499, 0x00000000 }, /* 10**000016384 */
+  { 0x00000000, 0x0c7c28b8, 0x7faf211a, 0x96a3a1d1, 0x00000000, 0x40006a4c, 0x00000000 }, /* 10**000008192 */
+  { 0x00000000, 0xc94c1558, 0x8a20979a, 0xc4605202, 0x00000000, 0x40003525, 0x00000000 }, /* 10**000004096 */
+  { 0x00000000, 0xa74d28d8, 0xc53d5de4, 0x9e8b3b5d, 0x00000000, 0x40001a92, 0x00000000 }, /* 10**000002048 */
+  { 0x00000000, 0x650d3d2f, 0x81750c17, 0xc9767586, 0x00000000, 0x40000d48, 0x00000000 }, /* 10**000001024 */
+  { 0x00000000, 0xcc655c58, 0xa60e91c6, 0xe319a0ae, 0x00000000, 0x400006a3, 0x00000000 }, /* 10**000000512 */
+  { 0x00000000, 0xddbb901d, 0x9df9de8d, 0xaa7eebfb, 0x00000000, 0x40000351, 0x00000000 }, /* 10**000000256 */
+  { 0x00000000, 0xc66f336d, 0x80e98cdf, 0x93ba47c9, 0x00000000, 0x400001a8, 0x00000000 }, /* 10**000000128 */
+  { 0x00000000, 0x3cbf6b72, 0xffcfa6d5, 0xc2781f49, 0x00000000, 0x400000d3, 0x00000000 }, /* 10**000000064 */
+  { 0x00000000, 0xf0200000, 0x2b70b59d, 0x9dc5ada8, 0x00000000, 0x40000069, 0x00000000 }, /* 10**000000032 */
+  { 0x00000000, 0x00000000, 0x04000000, 0x8e1bc9bf, 0x00000000, 0x40000034, 0x00000000 }, /* 10**000000016 */
+  { 0x00000000, 0x00000000, 0x00000000, 0xbebc2000, 0x00000000, 0x40000019, 0x00000000 }, /* 10**000000008 */
+  { 0x00000000, 0x00000000, 0x00000000, 0x9c400000, 0x00000000, 0x4000000c, 0x00000000 }, /* 10**000000004 */
+  { 0x00000000, 0x00000000, 0x00000000, 0xc8000000, 0x00000000, 0x40000005, 0x00000000 }, /* 10**000000002 */
+  { 0x00000000, 0x00000000, 0x00000000, 0xa0000000, 0x00000000, 0x40000002, 0x00000000 }  /* 10**000000001 */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_ptens_001_emu32lsb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_PTENS_001_32LSB */
diff --git a/mpu/etens/emu00128/ei_ptens_001_emu32msb.dfn b/mpu/etens/emu00128/ei_ptens_001_emu32msb.dfn
new file mode 100644
index 0000000..3b143e5
--- /dev/null
+++ b/mpu/etens/emu00128/ei_ptens_001_emu32msb.dfn
@@ -0,0 +1,46 @@
+
+#ifndef   __REAL_EINTERNAL_PTENS_001_32MSB
+#define   __REAL_EINTERNAL_PTENS_001_32MSB
+
+#if BITS_PER_EMUSHORT == 32
+
+static EMUSHORT _ei_tens_128_[NTEN_128+1][NPIR_128] =
+{
+/*   Sign        Exp         hgw         S i g n i f i c a n d               lgw      */
+/*  ==========  ==========  ==========  ==================================  ==========*/
+  { 0x00000000, 0x75269e11, 0x00000000, 0xf754c8f1, 0x7260c2f4, 0x38524451, 0x00000000 }, /* 10**268435456 */
+  { 0x00000000, 0x5a934f08, 0x00000000, 0xb1ed94f5, 0x91f3e887, 0x2201e808, 0x00000000 }, /* 10**134217728 */
+  { 0x00000000, 0x4d49a783, 0x00000000, 0xd56c6931, 0xa9f59ec9, 0x6a554f92, 0x00000000 }, /* 10**067108864 */
+  { 0x00000000, 0x46a4d3c1, 0x00000000, 0xa5483e39, 0x3ab27119, 0xf5ce6f41, 0x00000000 }, /* 10**033554432 */
+  { 0x00000000, 0x435269e0, 0x00000000, 0x9173919a, 0x056faab9, 0xde7ef257, 0x00000000 }, /* 10**016777216 */
+  { 0x00000000, 0x41a934ef, 0x00000000, 0xc0f71767, 0xe5ded62a, 0x842a565f, 0x00000000 }, /* 10**008388608 */
+  { 0x00000000, 0x40d49a77, 0x00000000, 0x9d293029, 0xf9d3abca, 0xe8687c38, 0x00000000 }, /* 10**004194304 */
+  { 0x00000000, 0x406a4d3b, 0x00000000, 0x8dd53e24, 0xc84776a2, 0x078f7fcb, 0x00000000 }, /* 10**002097152 */
+  { 0x00000000, 0x4035269d, 0x00000000, 0x86bd34c2, 0x56458f50, 0x802f8629, 0x00000000 }, /* 10**001048576 */
+  { 0x00000000, 0x401a934e, 0x00000000, 0x835389e3, 0x24b7c316, 0x672f95c4, 0x00000000 }, /* 10**000524288 */
+  { 0x00000000, 0x400d49a6, 0x00000000, 0xb75b3786, 0xbaad6104, 0xe01ab7ef, 0x00000000 }, /* 10**000262144 */
+  { 0x00000000, 0x4006a4d2, 0x00000000, 0xd8a7940b, 0xfe7769bd, 0x084da908, 0x00000000 }, /* 10**000131072 */
+  { 0x00000000, 0x40035268, 0x00000000, 0xeb81cf19, 0xf0160e7f, 0x71cf572c, 0x00000000 }, /* 10**000065536 */
+  { 0x00000000, 0x4001a933, 0x00000000, 0xf58a326a, 0x5783a749, 0xb3c10786, 0x00000000 }, /* 10**000032768 */
+  { 0x00000000, 0x4000d499, 0x00000000, 0xb1485471, 0xf16603b5, 0x6226e16c, 0x00000000 }, /* 10**000016384 */
+  { 0x00000000, 0x40006a4c, 0x00000000, 0x96a3a1d1, 0x7faf211a, 0x0c7c28b8, 0x00000000 }, /* 10**000008192 */
+  { 0x00000000, 0x40003525, 0x00000000, 0xc4605202, 0x8a20979a, 0xc94c1558, 0x00000000 }, /* 10**000004096 */
+  { 0x00000000, 0x40001a92, 0x00000000, 0x9e8b3b5d, 0xc53d5de4, 0xa74d28d8, 0x00000000 }, /* 10**000002048 */
+  { 0x00000000, 0x40000d48, 0x00000000, 0xc9767586, 0x81750c17, 0x650d3d2f, 0x00000000 }, /* 10**000001024 */
+  { 0x00000000, 0x400006a3, 0x00000000, 0xe319a0ae, 0xa60e91c6, 0xcc655c58, 0x00000000 }, /* 10**000000512 */
+  { 0x00000000, 0x40000351, 0x00000000, 0xaa7eebfb, 0x9df9de8d, 0xddbb901d, 0x00000000 }, /* 10**000000256 */
+  { 0x00000000, 0x400001a8, 0x00000000, 0x93ba47c9, 0x80e98cdf, 0xc66f336d, 0x00000000 }, /* 10**000000128 */
+  { 0x00000000, 0x400000d3, 0x00000000, 0xc2781f49, 0xffcfa6d5, 0x3cbf6b72, 0x00000000 }, /* 10**000000064 */
+  { 0x00000000, 0x40000069, 0x00000000, 0x9dc5ada8, 0x2b70b59d, 0xf0200000, 0x00000000 }, /* 10**000000032 */
+  { 0x00000000, 0x40000034, 0x00000000, 0x8e1bc9bf, 0x04000000, 0x00000000, 0x00000000 }, /* 10**000000016 */
+  { 0x00000000, 0x40000019, 0x00000000, 0xbebc2000, 0x00000000, 0x00000000, 0x00000000 }, /* 10**000000008 */
+  { 0x00000000, 0x4000000c, 0x00000000, 0x9c400000, 0x00000000, 0x00000000, 0x00000000 }, /* 10**000000004 */
+  { 0x00000000, 0x40000005, 0x00000000, 0xc8000000, 0x00000000, 0x00000000, 0x00000000 }, /* 10**000000002 */
+  { 0x00000000, 0x40000002, 0x00000000, 0xa0000000, 0x00000000, 0x00000000, 0x00000000 }  /* 10**000000001 */
+};
+
+#else  /* BITS_PER_EMUSHORT != 32 */
+#error ei_ptens_001_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
+#endif /* BITS_PER_EMUSHORT == 32 */
+
+#endif /* __REAL_EINTERNAL_PTENS_001_32MSB */