aboutsummaryrefslogtreecommitdiff
path: root/math/auto-libm-test-out-catan
diff options
context:
space:
mode:
Diffstat (limited to 'math/auto-libm-test-out-catan')
-rw-r--r--math/auto-libm-test-out-catan896
1 files changed, 448 insertions, 448 deletions
diff --git a/math/auto-libm-test-out-catan b/math/auto-libm-test-out-catan
index 7735df8f66..8d52826f0a 100644
--- a/math/auto-libm-test-out-catan
+++ b/math/auto-libm-test-out-catan
@@ -15875,14 +15875,14 @@ catan 0x1p-1022 0x1.0000000000001p0
= catan tonearest m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18468p+0 0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
-= catan downward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan tonearest binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan downward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan tonearest ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
+= catan downward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan tonearest binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan downward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan tonearest ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
= catan downward binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan tonearest binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
@@ -15895,10 +15895,10 @@ catan 0x1p-1022 0x1.0000000000001p0
= catan tonearest m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c6p+4 : inexact-ok
-= catan downward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan tonearest binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
+= catan downward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan tonearest binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
= catan downward ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan tonearest ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -15980,14 +15980,14 @@ catan -0x1p-1022 0x1.0000000000001p0
= catan tonearest m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18468p+0 0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18468p+0 0x8.5159201dd5b9741p+0 : inexact-ok
-= catan downward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan tonearest binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan downward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan tonearest ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
+= catan downward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan tonearest binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan downward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan tonearest ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
= catan downward binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d19p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan tonearest binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
@@ -16000,10 +16000,10 @@ catan -0x1p-1022 0x1.0000000000001p0
= catan tonearest m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c6p+4 : inexact-ok
-= catan downward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan tonearest binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
+= catan downward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan tonearest binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
= catan downward ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51702p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan tonearest ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -16221,14 +16221,14 @@ catan 0x1p-1022 -0x1.0000000000001p0
= catan tonearest m68k96 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d1846ap+0 -0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18468p+0 -0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d1846ap+0 -0x8.5159201dd5b974p+0 : inexact-ok
-= catan downward binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan tonearest binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 -0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan downward ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan tonearest ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan downward binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan tonearest binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 -0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan downward ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan tonearest ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 0x0p+0 -0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 -0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
= catan downward binary64 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 -0x1.25e4f7b2737fbp+4 : inexact-ok
= catan tonearest binary64 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 -0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 -0x1.25e4f7b2737fap+4 : inexact-ok
@@ -16241,10 +16241,10 @@ catan 0x1p-1022 -0x1.0000000000001p0
= catan tonearest m68k96 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18468p+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
-= catan downward binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
-= catan tonearest binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
+= catan downward binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
+= catan tonearest binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
= catan downward ibm128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x1.25e4f7b2737fa1c486612173c7p+4 : inexact-ok
= catan tonearest ibm128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 0x0p+0 -0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 -0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -16326,14 +16326,14 @@ catan -0x1p-1022 -0x1.0000000000001p0
= catan tonearest m68k96 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d1846ap+0 -0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18468p+0 -0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18468p+0 -0x8.5159201dd5b974p+0 : inexact-ok
-= catan downward binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 -0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan tonearest binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan downward ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 -0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan tonearest ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan downward binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 -0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan tonearest binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan downward ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan tonearest ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 -0x0p+0 -0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
= catan downward binary64 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d19p+0 -0x1.25e4f7b2737fbp+4 : inexact-ok
= catan tonearest binary64 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 -0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 -0x1.25e4f7b2737fap+4 : inexact-ok
@@ -16346,10 +16346,10 @@ catan -0x1p-1022 -0x1.0000000000001p0
= catan tonearest m68k96 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d1846ap+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 -0x1.25e4f7b2737fa1c4p+4 : inexact-ok
-= catan downward binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 -0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
-= catan tonearest binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
+= catan downward binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 -0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
+= catan tonearest binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 -0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
= catan downward ibm128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51702p+0 -0x1.25e4f7b2737fa1c486612173c7p+4 : inexact-ok
= catan tonearest ibm128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 -0x0p+0 -0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 -0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -19043,14 +19043,14 @@ catan 0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18468p+0 0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
-= catan downward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan tonearest binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan downward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan tonearest ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
+= catan downward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan tonearest binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan downward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan tonearest ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 0x0p+0 0x1.000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
= catan downward binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan tonearest binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
@@ -19063,10 +19063,10 @@ catan 0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c6p+4 : inexact-ok
-= catan downward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan tonearest binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
+= catan downward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan tonearest binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
= catan downward ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan tonearest ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 0x0p+0 0x1.0000000000001p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -19079,14 +19079,14 @@ catan 0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d1846ap+0 0x1.62e42fefa39ef358p+4 : inexact-ok
= catan towardzero m68k96 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18468p+0 0x1.62e42fefa39ef356p+4 : inexact-ok
= catan upward m68k96 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d1846ap+0 0x1.62e42fefa39ef358p+4 : inexact-ok
-= catan downward binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e5p+4 : inexact-ok
-= catan tonearest binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e6p+4 : inexact-ok
-= catan towardzero binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e5p+4 : inexact-ok
-= catan upward binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.62e42fefa39ef357cbc7673007e6p+4 : inexact-ok
-= catan downward ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc76730078p+4 : inexact-ok
-= catan tonearest ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc7673008p+4 : inexact-ok
-= catan towardzero ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc76730078p+4 : inexact-ok
-= catan upward ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x1.62e42fefa39ef357cbc7673008p+4 : inexact-ok
+= catan downward binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef3579bc7673007e5p+4 : inexact-ok
+= catan tonearest binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef3579bc7673007e6p+4 : inexact-ok
+= catan towardzero binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef3579bc7673007e5p+4 : inexact-ok
+= catan upward binary128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51701b9p+0 0x1.62e42fefa39ef3579bc7673007e6p+4 : inexact-ok
+= catan downward ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef3579bc76730078p+4 : inexact-ok
+= catan tonearest ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef3579bc7673008p+4 : inexact-ok
+= catan towardzero ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef3579bc76730078p+4 : inexact-ok
+= catan upward ibm128 0x0p+0 0x1.0000000000000002p+0 : 0x1.921fb54442d18469898cc51702p+0 0x1.62e42fefa39ef3579bc7673008p+4 : inexact-ok
= catan downward binary64 0x4p-1024 0x1.000002p+0 : 0x1.921fb54442d18p+0 0x8.5159201dd5b9p+0 : inexact-ok
= catan tonearest binary64 0x4p-1024 0x1.000002p+0 : 0x1.921fb54442d18p+0 0x8.5159201dd5b98p+0 : inexact-ok
= catan towardzero binary64 0x4p-1024 0x1.000002p+0 : 0x1.921fb54442d18p+0 0x8.5159201dd5b9p+0 : inexact-ok
@@ -19180,14 +19180,14 @@ catan -0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d1846ap+0 0x8.5159201dd5b9741p+0 : inexact-ok
= catan towardzero m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18468p+0 0x8.5159201dd5b974p+0 : inexact-ok
= catan upward m68k96 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18468p+0 0x8.5159201dd5b9741p+0 : inexact-ok
-= catan downward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan tonearest binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan towardzero binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe08p+0 : inexact-ok
-= catan upward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715cabe1p+0 : inexact-ok
-= catan downward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan tonearest ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
-= catan towardzero ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
-= catan upward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cacp+0 : inexact-ok
+= catan downward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan tonearest binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan towardzero binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba08p+0 : inexact-ok
+= catan upward binary128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x8.5159201dd5b9740d76d715caba1p+0 : inexact-ok
+= catan downward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc51702p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan tonearest ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
+= catan towardzero ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cab8p+0 : inexact-ok
+= catan upward ibm128 -0x0p+0 0x1.000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x8.5159201dd5b9740d76d715cabcp+0 : inexact-ok
= catan downward binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d19p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan tonearest binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
= catan towardzero binary64 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18p+0 0x1.25e4f7b2737fap+4 : inexact-ok
@@ -19200,10 +19200,10 @@ catan -0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d1846ap+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan towardzero m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c4p+4 : inexact-ok
= catan upward m68k96 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18468p+0 0x1.25e4f7b2737fa1c6p+4 : inexact-ok
-= catan downward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan tonearest binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan towardzero binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c691p+4 : inexact-ok
-= catan upward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c692p+4 : inexact-ok
+= catan downward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan tonearest binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan towardzero binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c689p+4 : inexact-ok
+= catan upward binary128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.25e4f7b2737fa1c486612173c68ap+4 : inexact-ok
= catan downward ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc51702p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan tonearest ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
= catan towardzero ibm128 -0x0p+0 0x1.0000000000001p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.25e4f7b2737fa1c486612173c68p+4 : inexact-ok
@@ -19216,14 +19216,14 @@ catan -0x1p-1022 0x1.0000000000000002p0
= catan tonearest m68k96 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d1846ap+0 0x1.62e42fefa39ef358p+4 : inexact-ok
= catan towardzero m68k96 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18468p+0 0x1.62e42fefa39ef356p+4 : inexact-ok
= catan upward m68k96 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18468p+0 0x1.62e42fefa39ef358p+4 : inexact-ok
-= catan downward binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.62e42fefa39ef357cbc7673007e5p+4 : inexact-ok
-= catan tonearest binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e6p+4 : inexact-ok
-= catan towardzero binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e5p+4 : inexact-ok
-= catan upward binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef357cbc7673007e6p+4 : inexact-ok
-= catan downward ibm128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51702p+0 0x1.62e42fefa39ef357cbc76730078p+4 : inexact-ok
-= catan tonearest ibm128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc7673008p+4 : inexact-ok
-= catan towardzero ibm128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc76730078p+4 : inexact-ok
-= catan upward ibm128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc517018p+0 0x1.62e42fefa39ef357cbc7673008p+4 : inexact-ok
+= catan downward binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b9p+0 0x1.62e42fefa39ef3579bc7673007e5p+4 : inexact-ok
+= catan tonearest binary128 -0x0p+0 0x1.0000000000000002p+0 : -0x1.921fb54442d18469898cc51701b8p+0 0x1.62e42fefa39ef3579bc7673007e6p+4 : inexact-ok<