]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Choose some floating point numbers that are hopefully easier to write out.
authorFlorian Krohm <florian@eich-krohm.de>
Thu, 14 Aug 2014 17:32:26 +0000 (17:32 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Thu, 14 Aug 2014 17:32:26 +0000 (17:32 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14279

none/tests/s390x/rounding-3.c
none/tests/s390x/rounding-3.stdout.exp
none/tests/s390x/rounding-4.c
none/tests/s390x/rounding-4.stdout.exp
none/tests/s390x/rounding-6.c
none/tests/s390x/rounding-6.stdout.exp

index 8e4923c276ca7ed435345b407c830971a0fbc111..698b7d0f19103b7510a1cae451389416963af04a 100644 (file)
@@ -71,10 +71,10 @@ int main(void)
    int i, j;
    static const unsigned rmodes[] = { 0, 1, 2, 3 };
    static const float fval[] = {
-      1.4f, 1.5f, 2.5f, 1.6f, -1.4f, -1.5f, -2.5f, -1.6f, 0.0f,
+      1.25f, 1.5f, 2.5f, 1.75f, -1.25f, -1.5f, -2.5f, -1.75f, 0.0f,
    };
    static const double dval[] = {
-      1.4, 1.5, 2.5, 1.6, -1.4, -1.5, -2.5, -1.6, 0.0,
+      1.25, 1.5, 2.5, 1.75, -1.25, -1.5, -2.5, -1.75, 0.0,
    };
 
 
index 5b08525c084ae9ad221e96a621fc96afa8d1f5f3..e613af94d2b0faf8c9ca66dc849ba43c2d907843 100644 (file)
 setting rounding mode to [-> near]
-cfebr 1.400000 -> 1    cc = 2
+cfebr 1.250000 -> 1    cc = 2
 cfebr 1.500000 -> 2    cc = 2
 cfebr 2.500000 -> 2    cc = 2
-cfebr 1.600000 -> 2    cc = 2
-cfebr -1.400000        -> -1   cc = 1
+cfebr 1.750000 -> 2    cc = 2
+cfebr -1.250000        -> -1   cc = 1
 cfebr -1.500000        -> -2   cc = 1
 cfebr -2.500000        -> -2   cc = 1
-cfebr -1.600000        -> -2   cc = 1
+cfebr -1.750000        -> -2   cc = 1
 cfebr 0.000000 -> 0    cc = 0
-cgebr 1.400000 -> 1    cc = 2
+cgebr 1.250000 -> 1    cc = 2
 cgebr 1.500000 -> 2    cc = 2
 cgebr 2.500000 -> 2    cc = 2
-cgebr 1.600000 -> 2    cc = 2
-cgebr -1.400000        -> -1   cc = 1
+cgebr 1.750000 -> 2    cc = 2
+cgebr -1.250000        -> -1   cc = 1
 cgebr -1.500000        -> -2   cc = 1
 cgebr -2.500000        -> -2   cc = 1
-cgebr -1.600000        -> -2   cc = 1
+cgebr -1.750000        -> -2   cc = 1
 cgebr 0.000000 -> 0    cc = 0
-cfdbr 1.400000 -> 1    cc = 2
+cfdbr 1.250000 -> 1    cc = 2
 cfdbr 1.500000 -> 2    cc = 2
 cfdbr 2.500000 -> 2    cc = 2
-cfdbr 1.600000 -> 2    cc = 2
-cfdbr -1.400000        -> -1   cc = 1
+cfdbr 1.750000 -> 2    cc = 2
+cfdbr -1.250000        -> -1   cc = 1
 cfdbr -1.500000        -> -2   cc = 1
 cfdbr -2.500000        -> -2   cc = 1
-cfdbr -1.600000        -> -2   cc = 1
+cfdbr -1.750000        -> -2   cc = 1
 cfdbr 0.000000 -> 0    cc = 0
-cgdbr 1.400000 -> 1    cc = 2
+cgdbr 1.250000 -> 1    cc = 2
 cgdbr 1.500000 -> 2    cc = 2
 cgdbr 2.500000 -> 2    cc = 2
-cgdbr 1.600000 -> 2    cc = 2
-cgdbr -1.400000        -> -1   cc = 1
+cgdbr 1.750000 -> 2    cc = 2
+cgdbr -1.250000        -> -1   cc = 1
 cgdbr -1.500000        -> -2   cc = 1
 cgdbr -2.500000        -> -2   cc = 1
-cgdbr -1.600000        -> -2   cc = 1
+cgdbr -1.750000        -> -2   cc = 1
 cgdbr 0.000000 -> 0    cc = 0
 setting rounding mode to [-> zero]
-cfebr 1.400000 -> 1    cc = 2
+cfebr 1.250000 -> 1    cc = 2
 cfebr 1.500000 -> 1    cc = 2
 cfebr 2.500000 -> 2    cc = 2
-cfebr 1.600000 -> 1    cc = 2
-cfebr -1.400000        -> -1   cc = 1
+cfebr 1.750000 -> 1    cc = 2
+cfebr -1.250000        -> -1   cc = 1
 cfebr -1.500000        -> -1   cc = 1
 cfebr -2.500000        -> -2   cc = 1
-cfebr -1.600000        -> -1   cc = 1
+cfebr -1.750000        -> -1   cc = 1
 cfebr 0.000000 -> 0    cc = 0
-cgebr 1.400000 -> 1    cc = 2
+cgebr 1.250000 -> 1    cc = 2
 cgebr 1.500000 -> 1    cc = 2
 cgebr 2.500000 -> 2    cc = 2
-cgebr 1.600000 -> 1    cc = 2
-cgebr -1.400000        -> -1   cc = 1
+cgebr 1.750000 -> 1    cc = 2
+cgebr -1.250000        -> -1   cc = 1
 cgebr -1.500000        -> -1   cc = 1
 cgebr -2.500000        -> -2   cc = 1
-cgebr -1.600000        -> -1   cc = 1
+cgebr -1.750000        -> -1   cc = 1
 cgebr 0.000000 -> 0    cc = 0
-cfdbr 1.400000 -> 1    cc = 2
+cfdbr 1.250000 -> 1    cc = 2
 cfdbr 1.500000 -> 1    cc = 2
 cfdbr 2.500000 -> 2    cc = 2
-cfdbr 1.600000 -> 1    cc = 2
-cfdbr -1.400000        -> -1   cc = 1
+cfdbr 1.750000 -> 1    cc = 2
+cfdbr -1.250000        -> -1   cc = 1
 cfdbr -1.500000        -> -1   cc = 1
 cfdbr -2.500000        -> -2   cc = 1
-cfdbr -1.600000        -> -1   cc = 1
+cfdbr -1.750000        -> -1   cc = 1
 cfdbr 0.000000 -> 0    cc = 0
-cgdbr 1.400000 -> 1    cc = 2
+cgdbr 1.250000 -> 1    cc = 2
 cgdbr 1.500000 -> 1    cc = 2
 cgdbr 2.500000 -> 2    cc = 2
-cgdbr 1.600000 -> 1    cc = 2
-cgdbr -1.400000        -> -1   cc = 1
+cgdbr 1.750000 -> 1    cc = 2
+cgdbr -1.250000        -> -1   cc = 1
 cgdbr -1.500000        -> -1   cc = 1
 cgdbr -2.500000        -> -2   cc = 1
-cgdbr -1.600000        -> -1   cc = 1
+cgdbr -1.750000        -> -1   cc = 1
 cgdbr 0.000000 -> 0    cc = 0
 setting rounding mode to [-> +inf]
-cfebr 1.400000 -> 2    cc = 2
+cfebr 1.250000 -> 2    cc = 2
 cfebr 1.500000 -> 2    cc = 2
 cfebr 2.500000 -> 3    cc = 2
-cfebr 1.600000 -> 2    cc = 2
-cfebr -1.400000        -> -1   cc = 1
+cfebr 1.750000 -> 2    cc = 2
+cfebr -1.250000        -> -1   cc = 1
 cfebr -1.500000        -> -1   cc = 1
 cfebr -2.500000        -> -2   cc = 1
-cfebr -1.600000        -> -1   cc = 1
+cfebr -1.750000        -> -1   cc = 1
 cfebr 0.000000 -> 0    cc = 0
-cgebr 1.400000 -> 2    cc = 2
+cgebr 1.250000 -> 2    cc = 2
 cgebr 1.500000 -> 2    cc = 2
 cgebr 2.500000 -> 3    cc = 2
-cgebr 1.600000 -> 2    cc = 2
-cgebr -1.400000        -> -1   cc = 1
+cgebr 1.750000 -> 2    cc = 2
+cgebr -1.250000        -> -1   cc = 1
 cgebr -1.500000        -> -1   cc = 1
 cgebr -2.500000        -> -2   cc = 1
-cgebr -1.600000        -> -1   cc = 1
+cgebr -1.750000        -> -1   cc = 1
 cgebr 0.000000 -> 0    cc = 0
-cfdbr 1.400000 -> 2    cc = 2
+cfdbr 1.250000 -> 2    cc = 2
 cfdbr 1.500000 -> 2    cc = 2
 cfdbr 2.500000 -> 3    cc = 2
-cfdbr 1.600000 -> 2    cc = 2
-cfdbr -1.400000        -> -1   cc = 1
+cfdbr 1.750000 -> 2    cc = 2
+cfdbr -1.250000        -> -1   cc = 1
 cfdbr -1.500000        -> -1   cc = 1
 cfdbr -2.500000        -> -2   cc = 1
-cfdbr -1.600000        -> -1   cc = 1
+cfdbr -1.750000        -> -1   cc = 1
 cfdbr 0.000000 -> 0    cc = 0
-cgdbr 1.400000 -> 2    cc = 2
+cgdbr 1.250000 -> 2    cc = 2
 cgdbr 1.500000 -> 2    cc = 2
 cgdbr 2.500000 -> 3    cc = 2
-cgdbr 1.600000 -> 2    cc = 2
-cgdbr -1.400000        -> -1   cc = 1
+cgdbr 1.750000 -> 2    cc = 2
+cgdbr -1.250000        -> -1   cc = 1
 cgdbr -1.500000        -> -1   cc = 1
 cgdbr -2.500000        -> -2   cc = 1
-cgdbr -1.600000        -> -1   cc = 1
+cgdbr -1.750000        -> -1   cc = 1
 cgdbr 0.000000 -> 0    cc = 0
 setting rounding mode to [-> -inf]
-cfebr 1.400000 -> 1    cc = 2
+cfebr 1.250000 -> 1    cc = 2
 cfebr 1.500000 -> 1    cc = 2
 cfebr 2.500000 -> 2    cc = 2
-cfebr 1.600000 -> 1    cc = 2
-cfebr -1.400000        -> -2   cc = 1
+cfebr 1.750000 -> 1    cc = 2
+cfebr -1.250000        -> -2   cc = 1
 cfebr -1.500000        -> -2   cc = 1
 cfebr -2.500000        -> -3   cc = 1
-cfebr -1.600000        -> -2   cc = 1
+cfebr -1.750000        -> -2   cc = 1
 cfebr 0.000000 -> 0    cc = 0
-cgebr 1.400000 -> 1    cc = 2
+cgebr 1.250000 -> 1    cc = 2
 cgebr 1.500000 -> 1    cc = 2
 cgebr 2.500000 -> 2    cc = 2
-cgebr 1.600000 -> 1    cc = 2
-cgebr -1.400000        -> -2   cc = 1
+cgebr 1.750000 -> 1    cc = 2
+cgebr -1.250000        -> -2   cc = 1
 cgebr -1.500000        -> -2   cc = 1
 cgebr -2.500000        -> -3   cc = 1
-cgebr -1.600000        -> -2   cc = 1
+cgebr -1.750000        -> -2   cc = 1
 cgebr 0.000000 -> 0    cc = 0
-cfdbr 1.400000 -> 1    cc = 2
+cfdbr 1.250000 -> 1    cc = 2
 cfdbr 1.500000 -> 1    cc = 2
 cfdbr 2.500000 -> 2    cc = 2
-cfdbr 1.600000 -> 1    cc = 2
-cfdbr -1.400000        -> -2   cc = 1
+cfdbr 1.750000 -> 1    cc = 2
+cfdbr -1.250000        -> -2   cc = 1
 cfdbr -1.500000        -> -2   cc = 1
 cfdbr -2.500000        -> -3   cc = 1
-cfdbr -1.600000        -> -2   cc = 1
+cfdbr -1.750000        -> -2   cc = 1
 cfdbr 0.000000 -> 0    cc = 0
-cgdbr 1.400000 -> 1    cc = 2
+cgdbr 1.250000 -> 1    cc = 2
 cgdbr 1.500000 -> 1    cc = 2
 cgdbr 2.500000 -> 2    cc = 2
-cgdbr 1.600000 -> 1    cc = 2
-cgdbr -1.400000        -> -2   cc = 1
+cgdbr 1.750000 -> 1    cc = 2
+cgdbr -1.250000        -> -2   cc = 1
 cgdbr -1.500000        -> -2   cc = 1
 cgdbr -2.500000        -> -3   cc = 1
-cgdbr -1.600000        -> -2   cc = 1
+cgdbr -1.750000        -> -2   cc = 1
 cgdbr 0.000000 -> 0    cc = 0
index e0a3cb39a48642bff2877961b229b121cc89911c..a4a0e96039922befb9852bda0e024a4ed99e670d 100644 (file)
@@ -34,7 +34,7 @@ void
 load_rounded(void)
 {
    f = d;
-   printf("load rounded  d = %22.20g    f = %22.20g\n", d, f);
+   printf("load rounded  d = %10.3f     f = %10.3f\n", d, f);
 }
 
 void
@@ -47,7 +47,7 @@ load_lengthened(void)
 /* Tests for load rounded and load lengthened */
 int main()
 {
-   d = 12345678.98765432E21;
+   d = 12345678.25;
    set_rounding_mode(0);
    load_rounded();
    set_rounding_mode(1);
@@ -56,9 +56,28 @@ int main()
    load_rounded();
    set_rounding_mode(3);
    load_rounded();
-   printf("\n");
-
-   d = -12345678.98765432E21;
+   printf("======================================\n");
+   d = 12345678.75;
+   set_rounding_mode(0);
+   load_rounded();
+   set_rounding_mode(1);
+   load_rounded();
+   set_rounding_mode(2);
+   load_rounded();
+   set_rounding_mode(3);
+   load_rounded();
+   printf("======================================\n");
+   d = -12345678.25;
+   set_rounding_mode(0);
+   load_rounded();
+   set_rounding_mode(1);
+   load_rounded();
+   set_rounding_mode(2);
+   load_rounded();
+   set_rounding_mode(3);
+   load_rounded();
+   printf("======================================\n");
+   d = -12345678.75;
    set_rounding_mode(0);
    load_rounded();
    set_rounding_mode(1);
@@ -69,6 +88,7 @@ int main()
    load_rounded();
    printf("\n");
 
+   f = 1234.5678f;
    load_lengthened();
 
    return 0;
index a1e5d6e6e1c8edc9cb7249bb4cfbeb47e21d4a18..e0b58fb92dd34358dbd1c4a15ccb56988d87dfdd 100644 (file)
@@ -1,19 +1,37 @@
 setting FPC rounding mode to [-> near]
-load rounded  d = 1.2345678987654319598e+28    f = 1.234567915439125133e+28
+load rounded  d = 12345678.250     f = 12345678.000
 setting FPC rounding mode to [-> zero]
-load rounded  d = 1.2345678987654319598e+28    f = 1.2345677973799630613e+28
+load rounded  d = 12345678.250     f = 12345678.000
 setting FPC rounding mode to [-> +inf]
-load rounded  d = 1.2345678987654319598e+28    f = 1.234567915439125133e+28
+load rounded  d = 12345678.250     f = 12345679.000
 setting FPC rounding mode to [-> -inf]
-load rounded  d = 1.2345678987654319598e+28    f = 1.2345677973799630613e+28
-
+load rounded  d = 12345678.250     f = 12345678.000
+======================================
+setting FPC rounding mode to [-> near]
+load rounded  d = 12345678.750     f = 12345679.000
+setting FPC rounding mode to [-> zero]
+load rounded  d = 12345678.750     f = 12345678.000
+setting FPC rounding mode to [-> +inf]
+load rounded  d = 12345678.750     f = 12345679.000
+setting FPC rounding mode to [-> -inf]
+load rounded  d = 12345678.750     f = 12345678.000
+======================================
+setting FPC rounding mode to [-> near]
+load rounded  d = -12345678.250     f = -12345678.000
+setting FPC rounding mode to [-> zero]
+load rounded  d = -12345678.250     f = -12345678.000
+setting FPC rounding mode to [-> +inf]
+load rounded  d = -12345678.250     f = -12345678.000
+setting FPC rounding mode to [-> -inf]
+load rounded  d = -12345678.250     f = -12345679.000
+======================================
 setting FPC rounding mode to [-> near]
-load rounded  d = -1.2345678987654319598e+28    f = -1.234567915439125133e+28
+load rounded  d = -12345678.750     f = -12345679.000
 setting FPC rounding mode to [-> zero]
-load rounded  d = -1.2345678987654319598e+28    f = -1.2345677973799630613e+28
+load rounded  d = -12345678.750     f = -12345678.000
 setting FPC rounding mode to [-> +inf]
-load rounded  d = -1.2345678987654319598e+28    f = -1.2345677973799630613e+28
+load rounded  d = -12345678.750     f = -12345678.000
 setting FPC rounding mode to [-> -inf]
-load rounded  d = -1.2345678987654319598e+28    f = -1.234567915439125133e+28
+load rounded  d = -12345678.750     f = -12345679.000
 
-load lengthened  d = -1.234567915439125133e+28    f = -1.234567915439125133e+28
+load lengthened  d =     1234.5677490234375    f =     1234.5677490234375
index fb944119548dd2c49d0fb9f02883a417e059d6f5..999aacdbe2c355e01fcc451c17028dbd824b486f 100644 (file)
@@ -66,10 +66,10 @@ int main(void)
 {
    int j;
    static const float fval[] = {
-      1.4f, 1.5f, 2.5f, 1.6f, -1.4f, -1.5f, -2.5f, -1.6f, 0.0f,
+      1.25f, 1.5f, 2.5f, 1.75f, -1.25f, -1.5f, -2.5f, -1.75f, 0.0f,
    };
    static const double dval[] = {
-      1.4, 1.5, 2.5, 1.6, -1.4, -1.5, -2.5, -1.6, 0.0,
+      1.25, 1.5, 2.5, 1.75, -1.25, -1.5, -2.5, -1.75, 0.0,
    };
 
    /* Note when testing M3_NEAR need to set the FPC rounding mode
index 4fbce8bf0b7621e80ca024ff1260639b7ac19bf2..f83455c2791d7a0be37bcd3da97dcc20b87e7686 100644 (file)
@@ -1,7 +1,7 @@
-cfebr 1.400000 -> 1    cc = 2  [-> nearest even]
-cfebr 1.400000 -> 1    cc = 2  [-> 0]
-cfebr 1.400000 -> 2    cc = 2  [-> +inf]
-cfebr 1.400000 -> 1    cc = 2  [-> -inf]
+cfebr 1.250000 -> 1    cc = 2  [-> nearest even]
+cfebr 1.250000 -> 1    cc = 2  [-> 0]
+cfebr 1.250000 -> 2    cc = 2  [-> +inf]
+cfebr 1.250000 -> 1    cc = 2  [-> -inf]
 cfebr 1.500000 -> 2    cc = 2  [-> nearest even]
 cfebr 1.500000 -> 1    cc = 2  [-> 0]
 cfebr 1.500000 -> 2    cc = 2  [-> +inf]
@@ -10,14 +10,14 @@ cfebr 2.500000      -> 2    cc = 2  [-> nearest even]
 cfebr 2.500000 -> 2    cc = 2  [-> 0]
 cfebr 2.500000 -> 3    cc = 2  [-> +inf]
 cfebr 2.500000 -> 2    cc = 2  [-> -inf]
-cfebr 1.600000 -> 2    cc = 2  [-> nearest even]
-cfebr 1.600000 -> 1    cc = 2  [-> 0]
-cfebr 1.600000 -> 2    cc = 2  [-> +inf]
-cfebr 1.600000 -> 1    cc = 2  [-> -inf]
-cfebr -1.400000        -> -1   cc = 1  [-> nearest even]
-cfebr -1.400000        -> -1   cc = 1  [-> 0]
-cfebr -1.400000        -> -1   cc = 1  [-> +inf]
-cfebr -1.400000        -> -2   cc = 1  [-> -inf]
+cfebr 1.750000 -> 2    cc = 2  [-> nearest even]
+cfebr 1.750000 -> 1    cc = 2  [-> 0]
+cfebr 1.750000 -> 2    cc = 2  [-> +inf]
+cfebr 1.750000 -> 1    cc = 2  [-> -inf]
+cfebr -1.250000        -> -1   cc = 1  [-> nearest even]
+cfebr -1.250000        -> -1   cc = 1  [-> 0]
+cfebr -1.250000        -> -1   cc = 1  [-> +inf]
+cfebr -1.250000        -> -2   cc = 1  [-> -inf]
 cfebr -1.500000        -> -2   cc = 1  [-> nearest even]
 cfebr -1.500000        -> -1   cc = 1  [-> 0]
 cfebr -1.500000        -> -1   cc = 1  [-> +inf]
@@ -26,18 +26,18 @@ cfebr -2.500000     -> -2   cc = 1  [-> nearest even]
 cfebr -2.500000        -> -2   cc = 1  [-> 0]
 cfebr -2.500000        -> -2   cc = 1  [-> +inf]
 cfebr -2.500000        -> -3   cc = 1  [-> -inf]
-cfebr -1.600000        -> -2   cc = 1  [-> nearest even]
-cfebr -1.600000        -> -1   cc = 1  [-> 0]
-cfebr -1.600000        -> -1   cc = 1  [-> +inf]
-cfebr -1.600000        -> -2   cc = 1  [-> -inf]
+cfebr -1.750000        -> -2   cc = 1  [-> nearest even]
+cfebr -1.750000        -> -1   cc = 1  [-> 0]
+cfebr -1.750000        -> -1   cc = 1  [-> +inf]
+cfebr -1.750000        -> -2   cc = 1  [-> -inf]
 cfebr 0.000000 -> 0    cc = 0  [-> nearest even]
 cfebr 0.000000 -> 0    cc = 0  [-> 0]
 cfebr 0.000000 -> 0    cc = 0  [-> +inf]
 cfebr 0.000000 -> 0    cc = 0  [-> -inf]
-cgebr 1.400000 -> 1    cc = 2  [-> nearest even]
-cgebr 1.400000 -> 1    cc = 2  [-> 0]
-cgebr 1.400000 -> 2    cc = 2  [-> +inf]
-cgebr 1.400000 -> 1    cc = 2  [-> -inf]
+cgebr 1.250000 -> 1    cc = 2  [-> nearest even]
+cgebr 1.250000 -> 1    cc = 2  [-> 0]
+cgebr 1.250000 -> 2    cc = 2  [-> +inf]
+cgebr 1.250000 -> 1    cc = 2  [-> -inf]
 cgebr 1.500000 -> 2    cc = 2  [-> nearest even]
 cgebr 1.500000 -> 1    cc = 2  [-> 0]
 cgebr 1.500000 -> 2    cc = 2  [-> +inf]
@@ -46,14 +46,14 @@ cgebr 2.500000      -> 2    cc = 2  [-> nearest even]
 cgebr 2.500000 -> 2    cc = 2  [-> 0]
 cgebr 2.500000 -> 3    cc = 2  [-> +inf]
 cgebr 2.500000 -> 2    cc = 2  [-> -inf]
-cgebr 1.600000 -> 2    cc = 2  [-> nearest even]
-cgebr 1.600000 -> 1    cc = 2  [-> 0]
-cgebr 1.600000 -> 2    cc = 2  [-> +inf]
-cgebr 1.600000 -> 1    cc = 2  [-> -inf]
-cgebr -1.400000        -> -1   cc = 1  [-> nearest even]
-cgebr -1.400000        -> -1   cc = 1  [-> 0]
-cgebr -1.400000        -> -1   cc = 1  [-> +inf]
-cgebr -1.400000        -> -2   cc = 1  [-> -inf]
+cgebr 1.750000 -> 2    cc = 2  [-> nearest even]
+cgebr 1.750000 -> 1    cc = 2  [-> 0]
+cgebr 1.750000 -> 2    cc = 2  [-> +inf]
+cgebr 1.750000 -> 1    cc = 2  [-> -inf]
+cgebr -1.250000        -> -1   cc = 1  [-> nearest even]
+cgebr -1.250000        -> -1   cc = 1  [-> 0]
+cgebr -1.250000        -> -1   cc = 1  [-> +inf]
+cgebr -1.250000        -> -2   cc = 1  [-> -inf]
 cgebr -1.500000        -> -2   cc = 1  [-> nearest even]
 cgebr -1.500000        -> -1   cc = 1  [-> 0]
 cgebr -1.500000        -> -1   cc = 1  [-> +inf]
@@ -62,18 +62,18 @@ cgebr -2.500000     -> -2   cc = 1  [-> nearest even]
 cgebr -2.500000        -> -2   cc = 1  [-> 0]
 cgebr -2.500000        -> -2   cc = 1  [-> +inf]
 cgebr -2.500000        -> -3   cc = 1  [-> -inf]
-cgebr -1.600000        -> -2   cc = 1  [-> nearest even]
-cgebr -1.600000        -> -1   cc = 1  [-> 0]
-cgebr -1.600000        -> -1   cc = 1  [-> +inf]
-cgebr -1.600000        -> -2   cc = 1  [-> -inf]
+cgebr -1.750000        -> -2   cc = 1  [-> nearest even]
+cgebr -1.750000        -> -1   cc = 1  [-> 0]
+cgebr -1.750000        -> -1   cc = 1  [-> +inf]
+cgebr -1.750000        -> -2   cc = 1  [-> -inf]
 cgebr 0.000000 -> 0    cc = 0  [-> nearest even]
 cgebr 0.000000 -> 0    cc = 0  [-> 0]
 cgebr 0.000000 -> 0    cc = 0  [-> +inf]
 cgebr 0.000000 -> 0    cc = 0  [-> -inf]
-cfdbr 1.400000 -> 1    cc = 2  [-> nearest even]
-cfdbr 1.400000 -> 1    cc = 2  [-> 0]
-cfdbr 1.400000 -> 2    cc = 2  [-> +inf]
-cfdbr 1.400000 -> 1    cc = 2  [-> -inf]
+cfdbr 1.250000 -> 1    cc = 2  [-> nearest even]
+cfdbr 1.250000 -> 1    cc = 2  [-> 0]
+cfdbr 1.250000 -> 2    cc = 2  [-> +inf]
+cfdbr 1.250000 -> 1    cc = 2  [-> -inf]
 cfdbr 1.500000 -> 2    cc = 2  [-> nearest even]
 cfdbr 1.500000 -> 1    cc = 2  [-> 0]
 cfdbr 1.500000 -> 2    cc = 2  [-> +inf]
@@ -82,14 +82,14 @@ cfdbr 2.500000      -> 2    cc = 2  [-> nearest even]
 cfdbr 2.500000 -> 2    cc = 2  [-> 0]
 cfdbr 2.500000 -> 3    cc = 2  [-> +inf]
 cfdbr 2.500000 -> 2    cc = 2  [-> -inf]
-cfdbr 1.600000 -> 2    cc = 2  [-> nearest even]
-cfdbr 1.600000 -> 1    cc = 2  [-> 0]
-cfdbr 1.600000 -> 2    cc = 2  [-> +inf]
-cfdbr 1.600000 -> 1    cc = 2  [-> -inf]
-cfdbr -1.400000        -> -1   cc = 1  [-> nearest even]
-cfdbr -1.400000        -> -1   cc = 1  [-> 0]
-cfdbr -1.400000        -> -1   cc = 1  [-> +inf]
-cfdbr -1.400000        -> -2   cc = 1  [-> -inf]
+cfdbr 1.750000 -> 2    cc = 2  [-> nearest even]
+cfdbr 1.750000 -> 1    cc = 2  [-> 0]
+cfdbr 1.750000 -> 2    cc = 2  [-> +inf]
+cfdbr 1.750000 -> 1    cc = 2  [-> -inf]
+cfdbr -1.250000        -> -1   cc = 1  [-> nearest even]
+cfdbr -1.250000        -> -1   cc = 1  [-> 0]
+cfdbr -1.250000        -> -1   cc = 1  [-> +inf]
+cfdbr -1.250000        -> -2   cc = 1  [-> -inf]
 cfdbr -1.500000        -> -2   cc = 1  [-> nearest even]
 cfdbr -1.500000        -> -1   cc = 1  [-> 0]
 cfdbr -1.500000        -> -1   cc = 1  [-> +inf]
@@ -98,18 +98,18 @@ cfdbr -2.500000     -> -2   cc = 1  [-> nearest even]
 cfdbr -2.500000        -> -2   cc = 1  [-> 0]
 cfdbr -2.500000        -> -2   cc = 1  [-> +inf]
 cfdbr -2.500000        -> -3   cc = 1  [-> -inf]
-cfdbr -1.600000        -> -2   cc = 1  [-> nearest even]
-cfdbr -1.600000        -> -1   cc = 1  [-> 0]
-cfdbr -1.600000        -> -1   cc = 1  [-> +inf]
-cfdbr -1.600000        -> -2   cc = 1  [-> -inf]
+cfdbr -1.750000        -> -2   cc = 1  [-> nearest even]
+cfdbr -1.750000        -> -1   cc = 1  [-> 0]
+cfdbr -1.750000        -> -1   cc = 1  [-> +inf]
+cfdbr -1.750000        -> -2   cc = 1  [-> -inf]
 cfdbr 0.000000 -> 0    cc = 0  [-> nearest even]
 cfdbr 0.000000 -> 0    cc = 0  [-> 0]
 cfdbr 0.000000 -> 0    cc = 0  [-> +inf]
 cfdbr 0.000000 -> 0    cc = 0  [-> -inf]
-cgdbr 1.400000 -> 1    cc = 2  [-> nearest even]
-cgdbr 1.400000 -> 1    cc = 2  [-> 0]
-cgdbr 1.400000 -> 2    cc = 2  [-> +inf]
-cgdbr 1.400000 -> 1    cc = 2  [-> -inf]
+cgdbr 1.250000 -> 1    cc = 2  [-> nearest even]
+cgdbr 1.250000 -> 1    cc = 2  [-> 0]
+cgdbr 1.250000 -> 2    cc = 2  [-> +inf]
+cgdbr 1.250000 -> 1    cc = 2  [-> -inf]
 cgdbr 1.500000 -> 2    cc = 2  [-> nearest even]
 cgdbr 1.500000 -> 1    cc = 2  [-> 0]
 cgdbr 1.500000 -> 2    cc = 2  [-> +inf]
@@ -118,14 +118,14 @@ cgdbr 2.500000    -> 2    cc = 2  [-> nearest even]
 cgdbr 2.500000 -> 2    cc = 2  [-> 0]
 cgdbr 2.500000 -> 3    cc = 2  [-> +inf]
 cgdbr 2.500000 -> 2    cc = 2  [-> -inf]
-cgdbr 1.600000 -> 2    cc = 2  [-> nearest even]
-cgdbr 1.600000 -> 1    cc = 2  [-> 0]
-cgdbr 1.600000 -> 2    cc = 2  [-> +inf]
-cgdbr 1.600000 -> 1    cc = 2  [-> -inf]
-cgdbr -1.400000        -> -1   cc = 1  [-> nearest even]
-cgdbr -1.400000        -> -1   cc = 1  [-> 0]
-cgdbr -1.400000        -> -1   cc = 1  [-> +inf]
-cgdbr -1.400000        -> -2   cc = 1  [-> -inf]
+cgdbr 1.750000 -> 2    cc = 2  [-> nearest even]
+cgdbr 1.750000 -> 1    cc = 2  [-> 0]
+cgdbr 1.750000 -> 2    cc = 2  [-> +inf]
+cgdbr 1.750000 -> 1    cc = 2  [-> -inf]
+cgdbr -1.250000        -> -1   cc = 1  [-> nearest even]
+cgdbr -1.250000        -> -1   cc = 1  [-> 0]
+cgdbr -1.250000        -> -1   cc = 1  [-> +inf]
+cgdbr -1.250000        -> -2   cc = 1  [-> -inf]
 cgdbr -1.500000        -> -2   cc = 1  [-> nearest even]
 cgdbr -1.500000        -> -1   cc = 1  [-> 0]
 cgdbr -1.500000        -> -1   cc = 1  [-> +inf]
@@ -134,10 +134,10 @@ cgdbr -2.500000   -> -2   cc = 1  [-> nearest even]
 cgdbr -2.500000        -> -2   cc = 1  [-> 0]
 cgdbr -2.500000        -> -2   cc = 1  [-> +inf]
 cgdbr -2.500000        -> -3   cc = 1  [-> -inf]
-cgdbr -1.600000        -> -2   cc = 1  [-> nearest even]
-cgdbr -1.600000        -> -1   cc = 1  [-> 0]
-cgdbr -1.600000        -> -1   cc = 1  [-> +inf]
-cgdbr -1.600000        -> -2   cc = 1  [-> -inf]
+cgdbr -1.750000        -> -2   cc = 1  [-> nearest even]
+cgdbr -1.750000        -> -1   cc = 1  [-> 0]
+cgdbr -1.750000        -> -1   cc = 1  [-> +inf]
+cgdbr -1.750000        -> -2   cc = 1  [-> -inf]
 cgdbr 0.000000 -> 0    cc = 0  [-> nearest even]
 cgdbr 0.000000 -> 0    cc = 0  [-> 0]
 cgdbr 0.000000 -> 0    cc = 0  [-> +inf]