Update auto-libm-test-out for catan / catanh.

I've used gmp 6.1.2, mpfr 3.1.5 and upstream mpc with fix in mpc_atan
(https://scm.gforge.inria.fr/anonscm/gitweb?p=mpc/mpc.git;a=commit;h=958aac9b15a659d6fb5edcb11778123f8a35b14f)
to build gen-auto-libm-tests and regenerated  catan / catanh out files.
Regenerated ULPs for s390 from scratch.  Now the catan / catanh tests
are passing.

ChangeLog:

	* math/auto-libm-test-out-catan: Regenerated.
	* math/auto-libm-test-out-catanh: Likewise.
	* sysdeps/s390/fpu/libm-test-ulps: Likewise.

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.921fb54442d18469898cc