Lib/test/decimaltestdata/ddNextToward.decTest

   1 ------------------------------------------------------------------------
   2 -- ddNextToward.decTest -- decDouble next toward rhs [754r nextafter] --
   3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
   4 ------------------------------------------------------------------------
   5 -- Please see the document "General Decimal Arithmetic Testcases"     --
   6 -- at http://www2.hursley.ibm.com/decimal for the description of      --
   7 -- these testcases.                                                   --
   8 --                                                                    --
   9 -- These testcases are experimental ('beta' versions), and they       --
  10 -- may contain errors.  They are offered on an as-is basis.  In       --
  11 -- particular, achieving the same results as the tests here is not    --
  12 -- a guarantee that an implementation complies with any Standard      --
  13 -- or specification.  The tests are not exhaustive.                   --
  14 --                                                                    --
  15 -- Please send comments, suggestions, and corrections to the author:  --
  16 --   Mike Cowlishaw, IBM Fellow                                       --
  17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
  18 --   mfc@uk.ibm.com                                                   --
  19 ------------------------------------------------------------------------
  20 version: 2.59
  21
  22 -- All operands and results are decDoubles.
  23 precision:   16
  24 maxExponent: 384
  25 minExponent: -383
  26 extended:    1
  27 clamp:       1
  28 rounding:    half_even
  29
  30 -- Sanity check with a scattering of numerics
  31 ddnextt001 nexttoward   10    10   ->  10
  32 ddnextt002 nexttoward  -10   -10   -> -10
  33 ddnextt003 nexttoward   1     10   ->  1.000000000000001
  34 ddnextt004 nexttoward   1    -10   ->  0.9999999999999999
  35 ddnextt005 nexttoward  -1     10   -> -0.9999999999999999
  36 ddnextt006 nexttoward  -1    -10   -> -1.000000000000001
  37 ddnextt007 nexttoward   0     10   ->  1E-398       Underflow Subnormal Inexact Rounded
  38 ddnextt008 nexttoward   0    -10   -> -1E-398       Underflow Subnormal Inexact Rounded
  39 ddnextt009 nexttoward   9.999999999999999E+384 +Infinity ->  Infinity Overflow Inexact Rounded
  40 ddnextt010 nexttoward  -9.999999999999999E+384 -Infinity -> -Infinity Overflow Inexact Rounded
  41 ddnextt011 nexttoward       9.999999999999999  10  ->  10.00000000000000
  42 ddnextt012 nexttoward   10  9.999999999999999      ->  9.999999999999999
  43 ddnextt013 nexttoward      -9.999999999999999 -10  -> -10.00000000000000
  44 ddnextt014 nexttoward  -10 -9.999999999999999      -> -9.999999999999999
  45 ddnextt015 nexttoward       9.999999999999998  10  ->  9.999999999999999
  46 ddnextt016 nexttoward   10  9.999999999999998      ->  9.999999999999999
  47 ddnextt017 nexttoward      -9.999999999999998 -10  -> -9.999999999999999
  48 ddnextt018 nexttoward  -10 -9.999999999999998      -> -9.999999999999999
  49
  50 ------- lhs=rhs
  51 -- finites
  52 ddnextt101 nexttoward          7       7 ->  7
  53 ddnextt102 nexttoward         -7      -7 -> -7
  54 ddnextt103 nexttoward         75      75 ->  75
  55 ddnextt104 nexttoward        -75     -75 -> -75
  56 ddnextt105 nexttoward       7.50     7.5 ->  7.50
  57 ddnextt106 nexttoward      -7.50   -7.50 -> -7.50
  58 ddnextt107 nexttoward       7.500 7.5000 ->  7.500
  59 ddnextt108 nexttoward      -7.500   -7.5 -> -7.500
  60
  61 -- zeros
  62 ddnextt111 nexttoward          0       0 ->  0
  63 ddnextt112 nexttoward         -0      -0 -> -0
  64 ddnextt113 nexttoward       0E+4       0 ->  0E+4
  65 ddnextt114 nexttoward      -0E+4      -0 -> -0E+4
  66 ddnextt115 nexttoward     0.00000000000   0.000000000000 ->  0E-11
  67 ddnextt116 nexttoward    -0.00000000000  -0.00           -> -0E-11
  68 ddnextt117 nexttoward      0E-141      0 ->  0E-141
  69 ddnextt118 nexttoward     -0E-141   -000 -> -0E-141
  70
  71 -- full coefficients, alternating bits
  72 ddnextt121 nexttoward   268268268    268268268 ->   268268268
  73 ddnextt122 nexttoward  -268268268   -268268268 ->  -268268268
  74 ddnextt123 nexttoward   134134134    134134134 ->   134134134
  75 ddnextt124 nexttoward  -134134134   -134134134 ->  -134134134
  76
  77 -- Nmax, Nmin, Ntiny
  78 ddnextt131 nexttoward  9.999999999999999E+384  9.999999999999999E+384   ->   9.999999999999999E+384
  79 ddnextt132 nexttoward  1E-383           1E-383            ->   1E-383
  80 ddnextt133 nexttoward  1.000000000000000E-383  1.000000000000000E-383   ->   1.000000000000000E-383
  81 ddnextt134 nexttoward  1E-398           1E-398            ->   1E-398
  82
  83 ddnextt135 nexttoward  -1E-398          -1E-398           ->  -1E-398
  84 ddnextt136 nexttoward  -1.000000000000000E-383 -1.000000000000000E-383  ->  -1.000000000000000E-383
  85 ddnextt137 nexttoward  -1E-383          -1E-383           ->  -1E-383
  86 ddnextt138 nexttoward  -9.999999999999999E+384 -9.999999999999999E+384  ->  -9.999999999999999E+384
  87
  88 ------- lhs<rhs
  89 ddnextt201 nexttoward  0.9999999999999995 Infinity ->   0.9999999999999996
  90 ddnextt202 nexttoward  0.9999999999999996 Infinity ->   0.9999999999999997
  91 ddnextt203 nexttoward  0.9999999999999997 Infinity ->   0.9999999999999998
  92 ddnextt204 nexttoward  0.9999999999999998 Infinity ->   0.9999999999999999
  93 ddnextt205 nexttoward  0.9999999999999999 Infinity ->   1.000000000000000
  94 ddnextt206 nexttoward  1.000000000000000  Infinity ->   1.000000000000001
  95 ddnextt207 nexttoward  1.0         Infinity ->   1.000000000000001
  96 ddnextt208 nexttoward  1           Infinity ->   1.000000000000001
  97 ddnextt209 nexttoward  1.000000000000001  Infinity ->   1.000000000000002
  98 ddnextt210 nexttoward  1.000000000000002  Infinity ->   1.000000000000003
  99 ddnextt211 nexttoward  1.000000000000003  Infinity ->   1.000000000000004
 100 ddnextt212 nexttoward  1.000000000000004  Infinity ->   1.000000000000005
 101 ddnextt213 nexttoward  1.000000000000005  Infinity ->   1.000000000000006
 102 ddnextt214 nexttoward  1.000000000000006  Infinity ->   1.000000000000007
 103 ddnextt215 nexttoward  1.000000000000007  Infinity ->   1.000000000000008
 104 ddnextt216 nexttoward  1.000000000000008  Infinity ->   1.000000000000009
 105 ddnextt217 nexttoward  1.000000000000009  Infinity ->   1.000000000000010
 106 ddnextt218 nexttoward  1.000000000000010  Infinity ->   1.000000000000011
 107 ddnextt219 nexttoward  1.000000000000011  Infinity ->   1.000000000000012
 108
 109 ddnextt221 nexttoward -0.9999999999999995 Infinity ->  -0.9999999999999994
 110 ddnextt222 nexttoward -0.9999999999999996 Infinity ->  -0.9999999999999995
 111 ddnextt223 nexttoward -0.9999999999999997 Infinity ->  -0.9999999999999996
 112 ddnextt224 nexttoward -0.9999999999999998 Infinity ->  -0.9999999999999997
 113 ddnextt225 nexttoward -0.9999999999999999 Infinity ->  -0.9999999999999998
 114 ddnextt226 nexttoward -1.000000000000000  Infinity ->  -0.9999999999999999
 115 ddnextt227 nexttoward -1.0         Infinity ->  -0.9999999999999999
 116 ddnextt228 nexttoward -1           Infinity ->  -0.9999999999999999
 117 ddnextt229 nexttoward -1.000000000000001  Infinity ->  -1.000000000000000
 118 ddnextt230 nexttoward -1.000000000000002  Infinity ->  -1.000000000000001
 119 ddnextt231 nexttoward -1.000000000000003  Infinity ->  -1.000000000000002
 120 ddnextt232 nexttoward -1.000000000000004  Infinity ->  -1.000000000000003
 121 ddnextt233 nexttoward -1.000000000000005  Infinity ->  -1.000000000000004
 122 ddnextt234 nexttoward -1.000000000000006  Infinity ->  -1.000000000000005
 123 ddnextt235 nexttoward -1.000000000000007  Infinity ->  -1.000000000000006
 124 ddnextt236 nexttoward -1.000000000000008  Infinity ->  -1.000000000000007
 125 ddnextt237 nexttoward -1.000000000000009  Infinity ->  -1.000000000000008
 126 ddnextt238 nexttoward -1.000000000000010  Infinity ->  -1.000000000000009
 127 ddnextt239 nexttoward -1.000000000000011  Infinity ->  -1.000000000000010
 128 ddnextt240 nexttoward -1.000000000000012  Infinity ->  -1.000000000000011
 129
 130 -- Zeros
 131 ddnextt300 nexttoward  0           Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 132 ddnextt301 nexttoward  0.00        Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 133 ddnextt302 nexttoward  0E-300      Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 134 ddnextt303 nexttoward  0E+300      Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 135 ddnextt304 nexttoward  0E+30000    Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 136 ddnextt305 nexttoward -0           Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 137 ddnextt306 nexttoward -0.00        Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 138 ddnextt307 nexttoward -0E-300      Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 139 ddnextt308 nexttoward -0E+300      Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 140 ddnextt309 nexttoward -0E+30000    Infinity ->  1E-398              Underflow Subnormal Inexact Rounded
 141
 142 -- specials
 143 ddnextt350 nexttoward   Inf    Infinity ->  Infinity
 144 ddnextt351 nexttoward  -Inf    Infinity -> -9.999999999999999E+384
 145 ddnextt352 nexttoward   NaN    Infinity ->  NaN
 146 ddnextt353 nexttoward  sNaN    Infinity ->  NaN   Invalid_operation
 147 ddnextt354 nexttoward   NaN77  Infinity ->  NaN77
 148 ddnextt355 nexttoward  sNaN88  Infinity ->  NaN88 Invalid_operation
 149 ddnextt356 nexttoward  -NaN    Infinity -> -NaN
 150 ddnextt357 nexttoward -sNaN    Infinity -> -NaN   Invalid_operation
 151 ddnextt358 nexttoward  -NaN77  Infinity -> -NaN77
 152 ddnextt359 nexttoward -sNaN88  Infinity -> -NaN88 Invalid_operation
 153
 154 -- Nmax, Nmin, Ntiny, subnormals
 155 ddnextt370 nexttoward  -9.999999999999999E+384  Infinity  -> -9.999999999999998E+384
 156 ddnextt371 nexttoward  -9.999999999999998E+384  Infinity  -> -9.999999999999997E+384
 157 ddnextt372 nexttoward  -1E-383                  Infinity  -> -9.99999999999999E-384  Underflow Subnormal Inexact Rounded
 158 ddnextt373 nexttoward  -1.000000000000000E-383  Infinity  -> -9.99999999999999E-384  Underflow Subnormal Inexact Rounded
 159 ddnextt374 nexttoward  -9E-398                  Infinity  -> -8E-398                 Underflow Subnormal Inexact Rounded
 160 ddnextt375 nexttoward  -9.9E-397                Infinity  -> -9.8E-397               Underflow Subnormal Inexact Rounded
 161 ddnextt376 nexttoward  -9.99999999999E-387      Infinity  -> -9.99999999998E-387     Underflow Subnormal Inexact Rounded
 162 ddnextt377 nexttoward  -9.99999999999999E-384   Infinity  -> -9.99999999999998E-384  Underflow Subnormal Inexact Rounded
 163 ddnextt378 nexttoward  -9.99999999999998E-384   Infinity  -> -9.99999999999997E-384  Underflow Subnormal Inexact Rounded
 164 ddnextt379 nexttoward  -9.99999999999997E-384   Infinity  -> -9.99999999999996E-384  Underflow Subnormal Inexact Rounded
 165 ddnextt380 nexttoward  -0E-398                  Infinity  ->  1E-398                 Underflow Subnormal Inexact Rounded
 166 ddnextt381 nexttoward  -1E-398                  Infinity  -> -0E-398 Underflow Subnormal Inexact Rounded Clamped
 167 ddnextt382 nexttoward  -2E-398                  Infinity  -> -1E-398                 Underflow Subnormal Inexact Rounded
 168
 169 ddnextt383 nexttoward   0E-398                  Infinity  ->  1E-398                 Underflow Subnormal Inexact Rounded
 170 ddnextt384 nexttoward   1E-398                  Infinity  ->  2E-398                 Underflow Subnormal Inexact Rounded
 171 ddnextt385 nexttoward   2E-398                  Infinity  ->  3E-398                 Underflow Subnormal Inexact Rounded
 172 ddnextt386 nexttoward   10E-398                 Infinity  ->  1.1E-397               Underflow Subnormal Inexact Rounded
 173 ddnextt387 nexttoward   100E-398                Infinity  ->  1.01E-396              Underflow Subnormal Inexact Rounded
 174 ddnextt388 nexttoward   100000E-398             Infinity  ->  1.00001E-393           Underflow Subnormal Inexact Rounded
 175 ddnextt389 nexttoward   1.00000000000E-383      Infinity  ->  1.000000000000001E-383
 176 ddnextt390 nexttoward   1.000000000000000E-383  Infinity  ->  1.000000000000001E-383
 177 ddnextt391 nexttoward   1E-383                  Infinity  ->  1.000000000000001E-383
 178 ddnextt392 nexttoward   9.999999999999997E+384  Infinity  ->  9.999999999999998E+384
 179 ddnextt393 nexttoward   9.999999999999998E+384  Infinity  ->  9.999999999999999E+384
 180 ddnextt394 nexttoward   9.999999999999999E+384  Infinity  ->  Infinity               Overflow Inexact Rounded
 181
 182 ------- lhs>rhs
 183 ddnextt401 nexttoward  0.9999999999999995  -Infinity ->   0.9999999999999994
 184 ddnextt402 nexttoward  0.9999999999999996  -Infinity ->   0.9999999999999995
 185 ddnextt403 nexttoward  0.9999999999999997  -Infinity ->   0.9999999999999996
 186 ddnextt404 nexttoward  0.9999999999999998  -Infinity ->   0.9999999999999997
 187 ddnextt405 nexttoward  0.9999999999999999  -Infinity ->   0.9999999999999998
 188 ddnextt406 nexttoward  1.000000000000000   -Infinity ->   0.9999999999999999
 189 ddnextt407 nexttoward  1.0          -Infinity ->   0.9999999999999999
 190 ddnextt408 nexttoward  1            -Infinity ->   0.9999999999999999
 191 ddnextt409 nexttoward  1.000000000000001   -Infinity ->   1.000000000000000
 192 ddnextt410 nexttoward  1.000000000000002   -Infinity ->   1.000000000000001
 193 ddnextt411 nexttoward  1.000000000000003   -Infinity ->   1.000000000000002
 194 ddnextt412 nexttoward  1.000000000000004   -Infinity ->   1.000000000000003
 195 ddnextt413 nexttoward  1.000000000000005   -Infinity ->   1.000000000000004
 196 ddnextt414 nexttoward  1.000000000000006   -Infinity ->   1.000000000000005
 197 ddnextt415 nexttoward  1.000000000000007   -Infinity ->   1.000000000000006
 198 ddnextt416 nexttoward  1.000000000000008   -Infinity ->   1.000000000000007
 199 ddnextt417 nexttoward  1.000000000000009   -Infinity ->   1.000000000000008
 200 ddnextt418 nexttoward  1.000000000000010   -Infinity ->   1.000000000000009
 201 ddnextt419 nexttoward  1.000000000000011   -Infinity ->   1.000000000000010
 202 ddnextt420 nexttoward  1.000000000000012   -Infinity ->   1.000000000000011
 203
 204 ddnextt421 nexttoward -0.9999999999999995  -Infinity ->  -0.9999999999999996
 205 ddnextt422 nexttoward -0.9999999999999996  -Infinity ->  -0.9999999999999997
 206 ddnextt423 nexttoward -0.9999999999999997  -Infinity ->  -0.9999999999999998
 207 ddnextt424 nexttoward -0.9999999999999998  -Infinity ->  -0.9999999999999999
 208 ddnextt425 nexttoward -0.9999999999999999  -Infinity ->  -1.000000000000000
 209 ddnextt426 nexttoward -1.000000000000000   -Infinity ->  -1.000000000000001
 210 ddnextt427 nexttoward -1.0          -Infinity ->  -1.000000000000001
 211 ddnextt428 nexttoward -1            -Infinity ->  -1.000000000000001
 212 ddnextt429 nexttoward -1.000000000000001   -Infinity ->  -1.000000000000002
 213 ddnextt430 nexttoward -1.000000000000002   -Infinity ->  -1.000000000000003
 214 ddnextt431 nexttoward -1.000000000000003   -Infinity ->  -1.000000000000004
 215 ddnextt432 nexttoward -1.000000000000004   -Infinity ->  -1.000000000000005
 216 ddnextt433 nexttoward -1.000000000000005   -Infinity ->  -1.000000000000006
 217 ddnextt434 nexttoward -1.000000000000006   -Infinity ->  -1.000000000000007
 218 ddnextt435 nexttoward -1.000000000000007   -Infinity ->  -1.000000000000008
 219 ddnextt436 nexttoward -1.000000000000008   -Infinity ->  -1.000000000000009
 220 ddnextt437 nexttoward -1.000000000000009   -Infinity ->  -1.000000000000010
 221 ddnextt438 nexttoward -1.000000000000010   -Infinity ->  -1.000000000000011
 222 ddnextt439 nexttoward -1.000000000000011   -Infinity ->  -1.000000000000012
 223
 224 -- Zeros
 225 ddnextt500 nexttoward -0            -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 226 ddnextt501 nexttoward  0            -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 227 ddnextt502 nexttoward  0.00         -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 228 ddnextt503 nexttoward -0.00         -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 229 ddnextt504 nexttoward  0E-300       -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 230 ddnextt505 nexttoward  0E+300       -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 231 ddnextt506 nexttoward  0E+30000     -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 232 ddnextt507 nexttoward -0E+30000     -Infinity -> -1E-398         Underflow Subnormal Inexact Rounded
 233
 234 -- specials
 235 ddnextt550 nexttoward   Inf     -Infinity ->  9.999999999999999E+384
 236 ddnextt551 nexttoward  -Inf     -Infinity -> -Infinity
 237 ddnextt552 nexttoward   NaN     -Infinity ->  NaN
 238 ddnextt553 nexttoward  sNaN     -Infinity ->  NaN   Invalid_operation
 239 ddnextt554 nexttoward   NaN77   -Infinity ->  NaN77
 240 ddnextt555 nexttoward  sNaN88   -Infinity ->  NaN88 Invalid_operation
 241 ddnextt556 nexttoward  -NaN     -Infinity -> -NaN
 242 ddnextt557 nexttoward -sNaN     -Infinity -> -NaN   Invalid_operation
 243 ddnextt558 nexttoward  -NaN77   -Infinity -> -NaN77
 244 ddnextt559 nexttoward -sNaN88   -Infinity -> -NaN88 Invalid_operation
 245
 246 -- Nmax, Nmin, Ntiny, subnormals
 247 ddnextt670 nexttoward  9.999999999999999E+384   -Infinity  -> 9.999999999999998E+384
 248 ddnextt671 nexttoward  9.999999999999998E+384   -Infinity  -> 9.999999999999997E+384
 249 ddnextt672 nexttoward  1E-383                   -Infinity  -> 9.99999999999999E-384   Underflow Subnormal  Inexact Rounded
 250 ddnextt673 nexttoward  1.000000000000000E-383   -Infinity  -> 9.99999999999999E-384   Underflow Subnormal  Inexact Rounded
 251 ddnextt674 nexttoward  9E-398                   -Infinity  -> 8E-398                  Underflow Subnormal  Inexact Rounded
 252 ddnextt675 nexttoward  9.9E-397                 -Infinity  -> 9.8E-397                Underflow Subnormal  Inexact Rounded
 253 ddnextt676 nexttoward  9.99999999999E-387       -Infinity  -> 9.99999999998E-387      Underflow Subnormal  Inexact Rounded
 254 ddnextt677 nexttoward  9.99999999999999E-384    -Infinity  -> 9.99999999999998E-384   Underflow Subnormal  Inexact Rounded
 255 ddnextt678 nexttoward  9.99999999999998E-384    -Infinity  -> 9.99999999999997E-384   Underflow Subnormal  Inexact Rounded
 256 ddnextt679 nexttoward  9.99999999999997E-384    -Infinity  -> 9.99999999999996E-384   Underflow Subnormal  Inexact Rounded
 257 ddnextt680 nexttoward  0E-398                   -Infinity  -> -1E-398                 Underflow Subnormal  Inexact Rounded
 258 ddnextt681 nexttoward  1E-398                   -Infinity  -> 0E-398                  Underflow Subnormal  Inexact Rounded Clamped
 259 ddnextt682 nexttoward  2E-398                   -Infinity  -> 1E-398                  Underflow Subnormal  Inexact Rounded
 260
 261 ddnextt683 nexttoward  -0E-398                  -Infinity  -> -1E-398                 Underflow Subnormal  Inexact Rounded
 262 ddnextt684 nexttoward  -1E-398                  -Infinity  -> -2E-398                 Underflow Subnormal  Inexact Rounded
 263 ddnextt685 nexttoward  -2E-398                  -Infinity  -> -3E-398                 Underflow Subnormal  Inexact Rounded
 264 ddnextt686 nexttoward  -10E-398                 -Infinity  -> -1.1E-397               Underflow Subnormal  Inexact Rounded
 265 ddnextt687 nexttoward  -100E-398                -Infinity  -> -1.01E-396              Underflow Subnormal  Inexact Rounded
 266 ddnextt688 nexttoward  -100000E-398             -Infinity  -> -1.00001E-393           Underflow Subnormal  Inexact Rounded
 267 ddnextt689 nexttoward  -1.00000000000E-383      -Infinity  -> -1.000000000000001E-383
 268 ddnextt690 nexttoward  -1.000000000000000E-383  -Infinity  -> -1.000000000000001E-383
 269 ddnextt691 nexttoward  -1E-383                  -Infinity  -> -1.000000000000001E-383
 270 ddnextt692 nexttoward  -9.999999999999998E+384  -Infinity  -> -9.999999999999999E+384
 271 ddnextt693 nexttoward  -9.999999999999999E+384  -Infinity  -> -Infinity               Overflow Inexact Rounded
 272
 273 ------- Specials
 274 ddnextt780 nexttoward -Inf  -Inf   -> -Infinity
 275 ddnextt781 nexttoward -Inf  -1000  -> -9.999999999999999E+384
 276 ddnextt782 nexttoward -Inf  -1     -> -9.999999999999999E+384
 277 ddnextt783 nexttoward -Inf  -0     -> -9.999999999999999E+384
 278 ddnextt784 nexttoward -Inf   0     -> -9.999999999999999E+384
 279 ddnextt785 nexttoward -Inf   1     -> -9.999999999999999E+384
 280 ddnextt786 nexttoward -Inf   1000  -> -9.999999999999999E+384
 281 ddnextt787 nexttoward -1000 -Inf   -> -1000.000000000001
 282 ddnextt788 nexttoward -Inf  -Inf   -> -Infinity
 283 ddnextt789 nexttoward -1    -Inf   -> -1.000000000000001
 284 ddnextt790 nexttoward -0    -Inf   -> -1E-398           Underflow Subnormal Inexact Rounded
 285 ddnextt791 nexttoward  0    -Inf   -> -1E-398           Underflow Subnormal Inexact Rounded
 286 ddnextt792 nexttoward  1    -Inf   ->  0.9999999999999999
 287 ddnextt793 nexttoward  1000 -Inf   ->  999.9999999999999
 288 ddnextt794 nexttoward  Inf  -Inf   ->  9.999999999999999E+384
 289
 290 ddnextt800 nexttoward  Inf  -Inf   ->  9.999999999999999E+384
 291 ddnextt801 nexttoward  Inf  -1000  ->  9.999999999999999E+384
 292 ddnextt802 nexttoward  Inf  -1     ->  9.999999999999999E+384
 293 ddnextt803 nexttoward  Inf  -0     ->  9.999999999999999E+384
 294 ddnextt804 nexttoward  Inf   0     ->  9.999999999999999E+384
 295 ddnextt805 nexttoward  Inf   1     ->  9.999999999999999E+384
 296 ddnextt806 nexttoward  Inf   1000  ->  9.999999999999999E+384
 297 ddnextt807 nexttoward  Inf   Inf   ->  Infinity
 298 ddnextt808 nexttoward -1000  Inf   -> -999.9999999999999
 299 ddnextt809 nexttoward -Inf   Inf   -> -9.999999999999999E+384
 300 ddnextt810 nexttoward -1     Inf   -> -0.9999999999999999
 301 ddnextt811 nexttoward -0     Inf   ->  1E-398           Underflow Subnormal Inexact Rounded
 302 ddnextt812 nexttoward  0     Inf   ->  1E-398           Underflow Subnormal Inexact Rounded
 303 ddnextt813 nexttoward  1     Inf   ->  1.000000000000001
 304 ddnextt814 nexttoward  1000  Inf   ->  1000.000000000001
 305 ddnextt815 nexttoward  Inf   Inf   ->  Infinity
 306
 307 ddnextt821 nexttoward  NaN -Inf    ->  NaN
 308 ddnextt822 nexttoward  NaN -1000   ->  NaN
 309 ddnextt823 nexttoward  NaN -1      ->  NaN
 310 ddnextt824 nexttoward  NaN -0      ->  NaN
 311 ddnextt825 nexttoward  NaN  0      ->  NaN
 312 ddnextt826 nexttoward  NaN  1      ->  NaN
 313 ddnextt827 nexttoward  NaN  1000   ->  NaN
 314 ddnextt828 nexttoward  NaN  Inf    ->  NaN
 315 ddnextt829 nexttoward  NaN  NaN    ->  NaN
 316 ddnextt830 nexttoward -Inf  NaN    ->  NaN
 317 ddnextt831 nexttoward -1000 NaN    ->  NaN
 318 ddnextt832 nexttoward -1    NaN    ->  NaN
 319 ddnextt833 nexttoward -0    NaN    ->  NaN
 320 ddnextt834 nexttoward  0    NaN    ->  NaN
 321 ddnextt835 nexttoward  1    NaN    ->  NaN
 322 ddnextt836 nexttoward  1000 NaN    ->  NaN
 323 ddnextt837 nexttoward  Inf  NaN    ->  NaN
 324
 325 ddnextt841 nexttoward  sNaN -Inf   ->  NaN  Invalid_operation
 326 ddnextt842 nexttoward  sNaN -1000  ->  NaN  Invalid_operation
 327 ddnextt843 nexttoward  sNaN -1     ->  NaN  Invalid_operation
 328 ddnextt844 nexttoward  sNaN -0     ->  NaN  Invalid_operation
 329 ddnextt845 nexttoward  sNaN  0     ->  NaN  Invalid_operation
 330 ddnextt846 nexttoward  sNaN  1     ->  NaN  Invalid_operation
 331 ddnextt847 nexttoward  sNaN  1000  ->  NaN  Invalid_operation
 332 ddnextt848 nexttoward  sNaN  NaN   ->  NaN  Invalid_operation
 333 ddnextt849 nexttoward  sNaN sNaN   ->  NaN  Invalid_operation
 334 ddnextt850 nexttoward  NaN  sNaN   ->  NaN  Invalid_operation
 335 ddnextt851 nexttoward -Inf  sNaN   ->  NaN  Invalid_operation
 336 ddnextt852 nexttoward -1000 sNaN   ->  NaN  Invalid_operation
 337 ddnextt853 nexttoward -1    sNaN   ->  NaN  Invalid_operation
 338 ddnextt854 nexttoward -0    sNaN   ->  NaN  Invalid_operation
 339 ddnextt855 nexttoward  0    sNaN   ->  NaN  Invalid_operation
 340 ddnextt856 nexttoward  1    sNaN   ->  NaN  Invalid_operation
 341 ddnextt857 nexttoward  1000 sNaN   ->  NaN  Invalid_operation
 342 ddnextt858 nexttoward  Inf  sNaN   ->  NaN  Invalid_operation
 343 ddnextt859 nexttoward  NaN  sNaN   ->  NaN  Invalid_operation
 344
 345 -- propagating NaNs
 346 ddnextt861 nexttoward  NaN1   -Inf    ->  NaN1
 347 ddnextt862 nexttoward +NaN2   -1000   ->  NaN2
 348 ddnextt863 nexttoward  NaN3    1000   ->  NaN3
 349 ddnextt864 nexttoward  NaN4    Inf    ->  NaN4
 350 ddnextt865 nexttoward  NaN5   +NaN6   ->  NaN5
 351 ddnextt866 nexttoward -Inf     NaN7   ->  NaN7
 352 ddnextt867 nexttoward -1000    NaN8   ->  NaN8
 353 ddnextt868 nexttoward  1000    NaN9   ->  NaN9
 354 ddnextt869 nexttoward  Inf    +NaN10  ->  NaN10
 355 ddnextt871 nexttoward  sNaN11  -Inf   ->  NaN11  Invalid_operation
 356 ddnextt872 nexttoward  sNaN12  -1000  ->  NaN12  Invalid_operation
 357 ddnextt873 nexttoward  sNaN13   1000  ->  NaN13  Invalid_operation
 358 ddnextt874 nexttoward  sNaN14   NaN17 ->  NaN14  Invalid_operation
 359 ddnextt875 nexttoward  sNaN15  sNaN18 ->  NaN15  Invalid_operation
 360 ddnextt876 nexttoward  NaN16   sNaN19 ->  NaN19  Invalid_operation
 361 ddnextt877 nexttoward -Inf    +sNaN20 ->  NaN20  Invalid_operation
 362 ddnextt878 nexttoward -1000    sNaN21 ->  NaN21  Invalid_operation
 363 ddnextt879 nexttoward  1000    sNaN22 ->  NaN22  Invalid_operation
 364 ddnextt880 nexttoward  Inf     sNaN23 ->  NaN23  Invalid_operation
 365 ddnextt881 nexttoward +NaN25  +sNaN24 ->  NaN24  Invalid_operation
 366 ddnextt882 nexttoward -NaN26    NaN28 -> -NaN26
 367 ddnextt883 nexttoward -sNaN27  sNaN29 -> -NaN27  Invalid_operation
 368 ddnextt884 nexttoward  1000    -NaN30 -> -NaN30
 369 ddnextt885 nexttoward  1000   -sNaN31 -> -NaN31  Invalid_operation
 370
 371 -- Null tests
 372 ddnextt900 nexttoward 1  # -> NaN Invalid_operation
 373 ddnextt901 nexttoward #  1 -> NaN Invalid_operation
 374