symbian-qemu-0.9.1-12/python-win32-2.6.1/lib/test/decimaltestdata/nexttoward.decTest
changeset 1 2fb8b9db1c86
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/symbian-qemu-0.9.1-12/python-win32-2.6.1/lib/test/decimaltestdata/nexttoward.decTest	Fri Jul 31 15:01:17 2009 +0100
@@ -0,0 +1,426 @@
+------------------------------------------------------------------------
+-- nexttoward.decTest -- decimal next toward rhs [754r nextafter]     --
+-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
+------------------------------------------------------------------------
+-- Please see the document "General Decimal Arithmetic Testcases"     --
+-- at http://www2.hursley.ibm.com/decimal for the description of      --
+-- these testcases.                                                   --
+--                                                                    --
+-- These testcases are experimental ('beta' versions), and they       --
+-- may contain errors.  They are offered on an as-is basis.  In       --
+-- particular, achieving the same results as the tests here is not    --
+-- a guarantee that an implementation complies with any Standard      --
+-- or specification.  The tests are not exhaustive.                   --
+--                                                                    --
+-- Please send comments, suggestions, and corrections to the author:  --
+--   Mike Cowlishaw, IBM Fellow                                       --
+--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
+--   mfc@uk.ibm.com                                                   --
+------------------------------------------------------------------------
+version: 2.58
+
+extended:    1
+precision:   9
+rounding:    half_up
+maxExponent: 384
+minexponent: -383
+
+-- Sanity check with a scattering of numerics
+nextt001 nexttoward   10    10   ->  10
+nextt002 nexttoward  -10   -10   -> -10
+nextt003 nexttoward   1     10   ->  1.00000001
+nextt004 nexttoward   1    -10   ->  0.999999999
+nextt005 nexttoward  -1     10   -> -0.999999999
+nextt006 nexttoward  -1    -10   -> -1.00000001
+nextt007 nexttoward   0     10   ->  1E-391       Underflow Subnormal Inexact Rounded
+nextt008 nexttoward   0    -10   -> -1E-391       Underflow Subnormal Inexact Rounded
+nextt009 nexttoward   9.99999999E+384 +Infinity ->  Infinity Overflow Inexact Rounded
+nextt010 nexttoward  -9.99999999E+384 -Infinity -> -Infinity Overflow Inexact Rounded
+
+------- lhs=rhs
+-- finites
+nextt101 nexttoward          7       7 ->  7
+nextt102 nexttoward         -7      -7 -> -7
+nextt103 nexttoward         75      75 ->  75
+nextt104 nexttoward        -75     -75 -> -75
+nextt105 nexttoward       7.50     7.5 ->  7.50
+nextt106 nexttoward      -7.50   -7.50 -> -7.50
+nextt107 nexttoward       7.500 7.5000 ->  7.500
+nextt108 nexttoward      -7.500   -7.5 -> -7.500
+
+-- zeros
+nextt111 nexttoward          0       0 ->  0
+nextt112 nexttoward         -0      -0 -> -0
+nextt113 nexttoward       0E+4       0 ->  0E+4
+nextt114 nexttoward      -0E+4      -0 -> -0E+4
+nextt115 nexttoward     0.0000 0.00000 ->  0.0000
+nextt116 nexttoward    -0.0000   -0.00 -> -0.0000
+nextt117 nexttoward      0E-141      0 ->  0E-141
+nextt118 nexttoward     -0E-141   -000 -> -0E-141
+
+-- full coefficients, alternating bits
+nextt121 nexttoward   268268268    268268268 ->   268268268
+nextt122 nexttoward  -268268268   -268268268 ->  -268268268
+nextt123 nexttoward   134134134    134134134 ->   134134134
+nextt124 nexttoward  -134134134   -134134134 ->  -134134134
+
+-- Nmax, Nmin, Ntiny
+nextt131 nexttoward  9.99999999E+384  9.99999999E+384   ->   9.99999999E+384
+nextt132 nexttoward  1E-383           1E-383            ->   1E-383
+nextt133 nexttoward  1.00000000E-383  1.00000000E-383   ->   1.00000000E-383
+nextt134 nexttoward  1E-391           1E-391            ->   1E-391
+
+nextt135 nexttoward  -1E-391          -1E-391           ->  -1E-391
+nextt136 nexttoward  -1.00000000E-383 -1.00000000E-383  ->  -1.00000000E-383
+nextt137 nexttoward  -1E-383          -1E-383           ->  -1E-383
+nextt138 nexttoward  -9.99999999E+384 -9.99999999E+384  ->  -9.99999999E+384
+
+------- lhs<rhs
+nextt201 nexttoward  0.999999995 Infinity ->   0.999999996
+nextt202 nexttoward  0.999999996 Infinity ->   0.999999997
+nextt203 nexttoward  0.999999997 Infinity ->   0.999999998
+nextt204 nexttoward  0.999999998 Infinity ->   0.999999999
+nextt205 nexttoward  0.999999999 Infinity ->   1.00000000
+nextt206 nexttoward  1.00000000  Infinity ->   1.00000001
+nextt207 nexttoward  1.0         Infinity ->   1.00000001
+nextt208 nexttoward  1           Infinity ->   1.00000001
+nextt209 nexttoward  1.00000001  Infinity ->   1.00000002
+nextt210 nexttoward  1.00000002  Infinity ->   1.00000003
+nextt211 nexttoward  1.00000003  Infinity ->   1.00000004
+nextt212 nexttoward  1.00000004  Infinity ->   1.00000005
+nextt213 nexttoward  1.00000005  Infinity ->   1.00000006
+nextt214 nexttoward  1.00000006  Infinity ->   1.00000007
+nextt215 nexttoward  1.00000007  Infinity ->   1.00000008
+nextt216 nexttoward  1.00000008  Infinity ->   1.00000009
+nextt217 nexttoward  1.00000009  Infinity ->   1.00000010
+nextt218 nexttoward  1.00000010  Infinity ->   1.00000011
+nextt219 nexttoward  1.00000011  Infinity ->   1.00000012
+
+nextt221 nexttoward -0.999999995 Infinity ->  -0.999999994
+nextt222 nexttoward -0.999999996 Infinity ->  -0.999999995
+nextt223 nexttoward -0.999999997 Infinity ->  -0.999999996
+nextt224 nexttoward -0.999999998 Infinity ->  -0.999999997
+nextt225 nexttoward -0.999999999 Infinity ->  -0.999999998
+nextt226 nexttoward -1.00000000  Infinity ->  -0.999999999
+nextt227 nexttoward -1.0         Infinity ->  -0.999999999
+nextt228 nexttoward -1           Infinity ->  -0.999999999
+nextt229 nexttoward -1.00000001  Infinity ->  -1.00000000
+nextt230 nexttoward -1.00000002  Infinity ->  -1.00000001
+nextt231 nexttoward -1.00000003  Infinity ->  -1.00000002
+nextt232 nexttoward -1.00000004  Infinity ->  -1.00000003
+nextt233 nexttoward -1.00000005  Infinity ->  -1.00000004
+nextt234 nexttoward -1.00000006  Infinity ->  -1.00000005
+nextt235 nexttoward -1.00000007  Infinity ->  -1.00000006
+nextt236 nexttoward -1.00000008  Infinity ->  -1.00000007
+nextt237 nexttoward -1.00000009  Infinity ->  -1.00000008
+nextt238 nexttoward -1.00000010  Infinity ->  -1.00000009
+nextt239 nexttoward -1.00000011  Infinity ->  -1.00000010
+nextt240 nexttoward -1.00000012  Infinity ->  -1.00000011
+
+-- input operand is >precision
+nextt241 nexttoward  1.00000010998  Infinity ->   1.00000011
+nextt242 nexttoward  1.00000010999  Infinity ->   1.00000011
+nextt243 nexttoward  1.00000011000  Infinity ->   1.00000012
+nextt244 nexttoward  1.00000011001  Infinity ->   1.00000012
+nextt245 nexttoward  1.00000011002  Infinity ->   1.00000012
+nextt246 nexttoward  1.00000011002  Infinity ->   1.00000012
+nextt247 nexttoward  1.00000011052  Infinity ->   1.00000012
+nextt248 nexttoward  1.00000011552  Infinity ->   1.00000012
+nextt249 nexttoward -1.00000010998  Infinity ->  -1.00000010
+nextt250 nexttoward -1.00000010999  Infinity ->  -1.00000010
+nextt251 nexttoward -1.00000011000  Infinity ->  -1.00000010
+nextt252 nexttoward -1.00000011001  Infinity ->  -1.00000011
+nextt253 nexttoward -1.00000011002  Infinity ->  -1.00000011
+nextt254 nexttoward -1.00000011002  Infinity ->  -1.00000011
+nextt255 nexttoward -1.00000011052  Infinity ->  -1.00000011
+nextt256 nexttoward -1.00000011552  Infinity ->  -1.00000011
+-- ultra-tiny inputs
+nextt260 nexttoward  1E-99999       Infinity ->   1E-391          Underflow Subnormal Inexact Rounded
+nextt261 nexttoward  1E-999999999   Infinity ->   1E-391          Underflow Subnormal Inexact Rounded
+nextt262 nexttoward  1E-391         Infinity ->   2E-391          Underflow Subnormal Inexact Rounded
+nextt263 nexttoward -1E-99999       Infinity ->  -0E-391          Underflow Subnormal Inexact Rounded Clamped
+nextt264 nexttoward -1E-999999999   Infinity ->  -0E-391          Underflow Subnormal Inexact Rounded Clamped
+nextt265 nexttoward -1E-391         Infinity ->  -0E-391          Underflow Subnormal Inexact Rounded Clamped
+
+-- Zeros
+nextt300 nexttoward  0           Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt301 nexttoward  0.00        Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt302 nexttoward  0E-300      Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt303 nexttoward  0E+300      Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt304 nexttoward  0E+30000    Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt305 nexttoward -0           Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt306 nexttoward -0.00        Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt307 nexttoward -0E-300      Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt308 nexttoward -0E+300      Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+nextt309 nexttoward -0E+30000    Infinity ->  1E-391              Underflow Subnormal Inexact Rounded
+
+-- specials
+nextt350 nexttoward   Inf    Infinity ->  Infinity
+nextt351 nexttoward  -Inf    Infinity -> -9.99999999E+384
+nextt352 nexttoward   NaN    Infinity ->  NaN
+nextt353 nexttoward  sNaN    Infinity ->  NaN   Invalid_operation
+nextt354 nexttoward   NaN77  Infinity ->  NaN77
+nextt355 nexttoward  sNaN88  Infinity ->  NaN88 Invalid_operation
+nextt356 nexttoward  -NaN    Infinity -> -NaN
+nextt357 nexttoward -sNaN    Infinity -> -NaN   Invalid_operation
+nextt358 nexttoward  -NaN77  Infinity -> -NaN77
+nextt359 nexttoward -sNaN88  Infinity -> -NaN88 Invalid_operation
+
+-- Nmax, Nmin, Ntiny, subnormals
+maxExponent: 999
+minexponent: -999
+nextt370 nexttoward  9.99999999E+999   Infinity -> Infinity        Overflow Inexact Rounded
+nextt371 nexttoward  9.99999998E+999   Infinity -> 9.99999999E+999
+nextt372 nexttoward  1E-999            Infinity -> 1.00000001E-999
+nextt373 nexttoward  1.00000000E-999   Infinity -> 1.00000001E-999
+nextt374 nexttoward  0.999999999E-999  Infinity -> 1.00000000E-999
+nextt375 nexttoward  0.99999999E-999   Infinity -> 1.00000000E-999
+nextt376 nexttoward  9E-1007           Infinity -> 1.0E-1006       Underflow Subnormal Inexact Rounded
+nextt377 nexttoward  9.9E-1006         Infinity -> 1.00E-1005      Underflow Subnormal Inexact Rounded
+nextt378 nexttoward  9.9999E-1003      Infinity -> 1.00000E-1002   Underflow Subnormal Inexact Rounded
+nextt379 nexttoward  9.9999998E-1000   Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded
+nextt380 nexttoward  9.9999997E-1000   Infinity -> 9.9999998E-1000 Underflow Subnormal Inexact Rounded
+nextt381 nexttoward  0E-1007           Infinity -> 1E-1007         Underflow Subnormal Inexact Rounded
+nextt382 nexttoward  1E-1007           Infinity -> 2E-1007         Underflow Subnormal Inexact Rounded
+nextt383 nexttoward  2E-1007           Infinity -> 3E-1007         Underflow Subnormal Inexact Rounded
+
+nextt385 nexttoward  -0E-1007          Infinity ->  1E-1007        Underflow Subnormal Inexact Rounded
+nextt386 nexttoward  -1E-1007          Infinity -> -0E-1007        Underflow Subnormal Inexact Rounded Clamped
+nextt387 nexttoward  -2E-1007          Infinity -> -1E-1007        Underflow Subnormal Inexact Rounded
+nextt388 nexttoward  -10E-1007         Infinity -> -9E-1007        Underflow Subnormal Inexact Rounded
+nextt389 nexttoward  -100E-1007        Infinity -> -9.9E-1006      Underflow Subnormal Inexact Rounded
+nextt390 nexttoward  -100000E-1007     Infinity -> -9.9999E-1003   Underflow Subnormal Inexact Rounded
+nextt391 nexttoward  -1.0000E-999      Infinity -> -9.9999999E-1000  Underflow Subnormal Inexact Rounded
+nextt392 nexttoward  -1.00000000E-999  Infinity -> -9.9999999E-1000  Underflow Subnormal Inexact Rounded
+nextt393 nexttoward  -1E-999           Infinity -> -9.9999999E-1000  Underflow Subnormal Inexact Rounded
+nextt394 nexttoward  -9.99999998E+999  Infinity -> -9.99999997E+999
+nextt395 nexttoward  -9.99999999E+999  Infinity -> -9.99999998E+999
+
+------- lhs>rhs
+maxExponent: 384
+minexponent: -383
+nextt401 nexttoward  0.999999995  -Infinity ->   0.999999994
+nextt402 nexttoward  0.999999996  -Infinity ->   0.999999995
+nextt403 nexttoward  0.999999997  -Infinity ->   0.999999996
+nextt404 nexttoward  0.999999998  -Infinity ->   0.999999997
+nextt405 nexttoward  0.999999999  -Infinity ->   0.999999998
+nextt406 nexttoward  1.00000000   -Infinity ->   0.999999999
+nextt407 nexttoward  1.0          -Infinity ->   0.999999999
+nextt408 nexttoward  1            -Infinity ->   0.999999999
+nextt409 nexttoward  1.00000001   -Infinity ->   1.00000000
+nextt410 nexttoward  1.00000002   -Infinity ->   1.00000001
+nextt411 nexttoward  1.00000003   -Infinity ->   1.00000002
+nextt412 nexttoward  1.00000004   -Infinity ->   1.00000003
+nextt413 nexttoward  1.00000005   -Infinity ->   1.00000004
+nextt414 nexttoward  1.00000006   -Infinity ->   1.00000005
+nextt415 nexttoward  1.00000007   -Infinity ->   1.00000006
+nextt416 nexttoward  1.00000008   -Infinity ->   1.00000007
+nextt417 nexttoward  1.00000009   -Infinity ->   1.00000008
+nextt418 nexttoward  1.00000010   -Infinity ->   1.00000009
+nextt419 nexttoward  1.00000011   -Infinity ->   1.00000010
+nextt420 nexttoward  1.00000012   -Infinity ->   1.00000011
+
+nextt421 nexttoward -0.999999995  -Infinity ->  -0.999999996
+nextt422 nexttoward -0.999999996  -Infinity ->  -0.999999997
+nextt423 nexttoward -0.999999997  -Infinity ->  -0.999999998
+nextt424 nexttoward -0.999999998  -Infinity ->  -0.999999999
+nextt425 nexttoward -0.999999999  -Infinity ->  -1.00000000
+nextt426 nexttoward -1.00000000   -Infinity ->  -1.00000001
+nextt427 nexttoward -1.0          -Infinity ->  -1.00000001
+nextt428 nexttoward -1            -Infinity ->  -1.00000001
+nextt429 nexttoward -1.00000001   -Infinity ->  -1.00000002
+nextt430 nexttoward -1.00000002   -Infinity ->  -1.00000003
+nextt431 nexttoward -1.00000003   -Infinity ->  -1.00000004
+nextt432 nexttoward -1.00000004   -Infinity ->  -1.00000005
+nextt433 nexttoward -1.00000005   -Infinity ->  -1.00000006
+nextt434 nexttoward -1.00000006   -Infinity ->  -1.00000007
+nextt435 nexttoward -1.00000007   -Infinity ->  -1.00000008
+nextt436 nexttoward -1.00000008   -Infinity ->  -1.00000009
+nextt437 nexttoward -1.00000009   -Infinity ->  -1.00000010
+nextt438 nexttoward -1.00000010   -Infinity ->  -1.00000011
+nextt439 nexttoward -1.00000011   -Infinity ->  -1.00000012
+
+-- input operand is >precision
+nextt441 nexttoward  1.00000010998   -Infinity ->   1.00000010
+nextt442 nexttoward  1.00000010999   -Infinity ->   1.00000010
+nextt443 nexttoward  1.00000011000   -Infinity ->   1.00000010
+nextt444 nexttoward  1.00000011001   -Infinity ->   1.00000011
+nextt445 nexttoward  1.00000011002   -Infinity ->   1.00000011
+nextt446 nexttoward  1.00000011002   -Infinity ->   1.00000011
+nextt447 nexttoward  1.00000011052   -Infinity ->   1.00000011
+nextt448 nexttoward  1.00000011552   -Infinity ->   1.00000011
+nextt449 nexttoward -1.00000010998   -Infinity ->  -1.00000011
+nextt450 nexttoward -1.00000010999   -Infinity ->  -1.00000011
+nextt451 nexttoward -1.00000011000   -Infinity ->  -1.00000012
+nextt452 nexttoward -1.00000011001   -Infinity ->  -1.00000012
+nextt453 nexttoward -1.00000011002   -Infinity ->  -1.00000012
+nextt454 nexttoward -1.00000011002   -Infinity ->  -1.00000012
+nextt455 nexttoward -1.00000011052   -Infinity ->  -1.00000012
+nextt456 nexttoward -1.00000011552   -Infinity ->  -1.00000012
+-- ultra-tiny inputs
+nextt460 nexttoward  1E-99999        -Infinity ->   0E-391     Underflow Subnormal Inexact Rounded Clamped
+nextt461 nexttoward  1E-999999999    -Infinity ->   0E-391     Underflow Subnormal Inexact Rounded Clamped
+nextt462 nexttoward  1E-391          -Infinity ->   0E-391     Underflow Subnormal Inexact Rounded Clamped
+nextt463 nexttoward -1E-99999        -Infinity ->  -1E-391     Underflow Subnormal Inexact Rounded
+nextt464 nexttoward -1E-999999999    -Infinity ->  -1E-391     Underflow Subnormal Inexact Rounded
+nextt465 nexttoward -1E-391          -Infinity ->  -2E-391     Underflow Subnormal Inexact Rounded
+
+-- Zeros
+nextt500 nexttoward -0            -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt501 nexttoward  0            -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt502 nexttoward  0.00         -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt503 nexttoward -0.00         -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt504 nexttoward  0E-300       -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt505 nexttoward  0E+300       -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt506 nexttoward  0E+30000     -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt507 nexttoward -0E+30000     -Infinity -> -1E-391         Underflow Subnormal Inexact Rounded
+nextt508 nexttoward  0.00         -0.0000   -> -0.00
+
+-- specials
+nextt550 nexttoward   Inf     -Infinity ->  9.99999999E+384
+nextt551 nexttoward  -Inf     -Infinity -> -Infinity
+nextt552 nexttoward   NaN     -Infinity ->  NaN
+nextt553 nexttoward  sNaN     -Infinity ->  NaN   Invalid_operation
+nextt554 nexttoward   NaN77   -Infinity ->  NaN77
+nextt555 nexttoward  sNaN88   -Infinity ->  NaN88 Invalid_operation
+nextt556 nexttoward  -NaN     -Infinity -> -NaN
+nextt557 nexttoward -sNaN     -Infinity -> -NaN   Invalid_operation
+nextt558 nexttoward  -NaN77   -Infinity -> -NaN77
+nextt559 nexttoward -sNaN88   -Infinity -> -NaN88 Invalid_operation
+
+-- Nmax, Nmin, Ntiny, subnormals
+maxExponent: 999
+minexponent: -999
+nextt570 nexttoward  9.99999999E+999    -Infinity -> 9.99999998E+999
+nextt571 nexttoward  9.99999998E+999    -Infinity -> 9.99999997E+999
+nextt572 nexttoward  1E-999             -Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded
+nextt573 nexttoward  1.00000000E-999    -Infinity -> 9.9999999E-1000 Underflow Subnormal Inexact Rounded
+nextt574 nexttoward  9E-1007            -Infinity -> 8E-1007         Underflow Subnormal Inexact Rounded
+nextt575 nexttoward  9.9E-1006          -Infinity -> 9.8E-1006       Underflow Subnormal Inexact Rounded
+nextt576 nexttoward  9.9999E-1003       -Infinity -> 9.9998E-1003    Underflow Subnormal Inexact Rounded
+nextt577 nexttoward  9.9999999E-1000    -Infinity -> 9.9999998E-1000 Underflow Subnormal Inexact Rounded
+nextt578 nexttoward  9.9999998E-1000    -Infinity -> 9.9999997E-1000 Underflow Subnormal Inexact Rounded
+nextt579 nexttoward  9.9999997E-1000    -Infinity -> 9.9999996E-1000 Underflow Subnormal Inexact Rounded
+nextt580 nexttoward  0E-1007            -Infinity -> -1E-1007        Underflow Subnormal Inexact Rounded
+nextt581 nexttoward  1E-1007            -Infinity -> 0E-1007         Underflow Subnormal Inexact Rounded Clamped
+nextt582 nexttoward  2E-1007            -Infinity -> 1E-1007         Underflow Subnormal Inexact Rounded
+
+nextt583 nexttoward  -0E-1007           -Infinity -> -1E-1007        Underflow Subnormal Inexact Rounded
+nextt584 nexttoward  -1E-1007           -Infinity -> -2E-1007        Underflow Subnormal Inexact Rounded
+nextt585 nexttoward  -2E-1007           -Infinity -> -3E-1007        Underflow Subnormal Inexact Rounded
+nextt586 nexttoward  -10E-1007          -Infinity -> -1.1E-1006      Underflow Subnormal Inexact Rounded
+nextt587 nexttoward  -100E-1007         -Infinity -> -1.01E-1005     Underflow Subnormal Inexact Rounded
+nextt588 nexttoward  -100000E-1007      -Infinity -> -1.00001E-1002  Underflow Subnormal Inexact Rounded
+nextt589 nexttoward  -1.0000E-999       -Infinity -> -1.00000001E-999
+nextt590 nexttoward  -1.00000000E-999   -Infinity -> -1.00000001E-999
+nextt591 nexttoward  -1E-999            -Infinity -> -1.00000001E-999
+nextt592 nexttoward  -9.99999998E+999   -Infinity -> -9.99999999E+999
+nextt593 nexttoward  -9.99999999E+999   -Infinity -> -Infinity Overflow Inexact Rounded
+
+
+
+
+------- Specials
+maxExponent: 384
+minexponent: -383
+nextt780 nexttoward -Inf  -Inf   -> -Infinity
+nextt781 nexttoward -Inf  -1000  -> -9.99999999E+384
+nextt782 nexttoward -Inf  -1     -> -9.99999999E+384
+nextt783 nexttoward -Inf  -0     -> -9.99999999E+384
+nextt784 nexttoward -Inf   0     -> -9.99999999E+384
+nextt785 nexttoward -Inf   1     -> -9.99999999E+384
+nextt786 nexttoward -Inf   1000  -> -9.99999999E+384
+nextt787 nexttoward -1000 -Inf   -> -1000.00001
+nextt788 nexttoward -Inf  -Inf   -> -Infinity
+nextt789 nexttoward -1    -Inf   -> -1.00000001
+nextt790 nexttoward -0    -Inf   -> -1E-391           Underflow Subnormal Inexact Rounded
+nextt791 nexttoward  0    -Inf   -> -1E-391           Underflow Subnormal Inexact Rounded
+nextt792 nexttoward  1    -Inf   ->  0.999999999
+nextt793 nexttoward  1000 -Inf   ->  999.999999
+nextt794 nexttoward  Inf  -Inf   ->  9.99999999E+384
+
+nextt800 nexttoward  Inf  -Inf   ->  9.99999999E+384
+nextt801 nexttoward  Inf  -1000  ->  9.99999999E+384
+nextt802 nexttoward  Inf  -1     ->  9.99999999E+384
+nextt803 nexttoward  Inf  -0     ->  9.99999999E+384
+nextt804 nexttoward  Inf   0     ->  9.99999999E+384
+nextt805 nexttoward  Inf   1     ->  9.99999999E+384
+nextt806 nexttoward  Inf   1000  ->  9.99999999E+384
+nextt807 nexttoward  Inf   Inf   ->  Infinity
+nextt808 nexttoward -1000  Inf   -> -999.999999
+nextt809 nexttoward -Inf   Inf   -> -9.99999999E+384
+nextt810 nexttoward -1     Inf   -> -0.999999999
+nextt811 nexttoward -0     Inf   ->  1E-391           Underflow Subnormal Inexact Rounded
+nextt812 nexttoward  0     Inf   ->  1E-391           Underflow Subnormal Inexact Rounded
+nextt813 nexttoward  1     Inf   ->  1.00000001
+nextt814 nexttoward  1000  Inf   ->  1000.00001
+nextt815 nexttoward  Inf   Inf   ->  Infinity
+
+nextt821 nexttoward  NaN -Inf    ->  NaN
+nextt822 nexttoward  NaN -1000   ->  NaN
+nextt823 nexttoward  NaN -1      ->  NaN
+nextt824 nexttoward  NaN -0      ->  NaN
+nextt825 nexttoward  NaN  0      ->  NaN
+nextt826 nexttoward  NaN  1      ->  NaN
+nextt827 nexttoward  NaN  1000   ->  NaN
+nextt828 nexttoward  NaN  Inf    ->  NaN
+nextt829 nexttoward  NaN  NaN    ->  NaN
+nextt830 nexttoward -Inf  NaN    ->  NaN
+nextt831 nexttoward -1000 NaN    ->  NaN
+nextt832 nexttoward -1    NaN    ->  NaN
+nextt833 nexttoward -0    NaN    ->  NaN
+nextt834 nexttoward  0    NaN    ->  NaN
+nextt835 nexttoward  1    NaN    ->  NaN
+nextt836 nexttoward  1000 NaN    ->  NaN
+nextt837 nexttoward  Inf  NaN    ->  NaN
+
+nextt841 nexttoward  sNaN -Inf   ->  NaN  Invalid_operation
+nextt842 nexttoward  sNaN -1000  ->  NaN  Invalid_operation
+nextt843 nexttoward  sNaN -1     ->  NaN  Invalid_operation
+nextt844 nexttoward  sNaN -0     ->  NaN  Invalid_operation
+nextt845 nexttoward  sNaN  0     ->  NaN  Invalid_operation
+nextt846 nexttoward  sNaN  1     ->  NaN  Invalid_operation
+nextt847 nexttoward  sNaN  1000  ->  NaN  Invalid_operation
+nextt848 nexttoward  sNaN  NaN   ->  NaN  Invalid_operation
+nextt849 nexttoward  sNaN sNaN   ->  NaN  Invalid_operation
+nextt850 nexttoward  NaN  sNaN   ->  NaN  Invalid_operation
+nextt851 nexttoward -Inf  sNaN   ->  NaN  Invalid_operation
+nextt852 nexttoward -1000 sNaN   ->  NaN  Invalid_operation
+nextt853 nexttoward -1    sNaN   ->  NaN  Invalid_operation
+nextt854 nexttoward -0    sNaN   ->  NaN  Invalid_operation
+nextt855 nexttoward  0    sNaN   ->  NaN  Invalid_operation
+nextt856 nexttoward  1    sNaN   ->  NaN  Invalid_operation
+nextt857 nexttoward  1000 sNaN   ->  NaN  Invalid_operation
+nextt858 nexttoward  Inf  sNaN   ->  NaN  Invalid_operation
+nextt859 nexttoward  NaN  sNaN   ->  NaN  Invalid_operation
+
+-- propagating NaNs
+nextt861 nexttoward  NaN1   -Inf    ->  NaN1
+nextt862 nexttoward +NaN2   -1000   ->  NaN2
+nextt863 nexttoward  NaN3    1000   ->  NaN3
+nextt864 nexttoward  NaN4    Inf    ->  NaN4
+nextt865 nexttoward  NaN5   +NaN6   ->  NaN5
+nextt866 nexttoward -Inf     NaN7   ->  NaN7
+nextt867 nexttoward -1000    NaN8   ->  NaN8
+nextt868 nexttoward  1000    NaN9   ->  NaN9
+nextt869 nexttoward  Inf    +NaN10  ->  NaN10
+nextt871 nexttoward  sNaN11  -Inf   ->  NaN11  Invalid_operation
+nextt872 nexttoward  sNaN12  -1000  ->  NaN12  Invalid_operation
+nextt873 nexttoward  sNaN13   1000  ->  NaN13  Invalid_operation
+nextt874 nexttoward  sNaN14   NaN17 ->  NaN14  Invalid_operation
+nextt875 nexttoward  sNaN15  sNaN18 ->  NaN15  Invalid_operation
+nextt876 nexttoward  NaN16   sNaN19 ->  NaN19  Invalid_operation
+nextt877 nexttoward -Inf    +sNaN20 ->  NaN20  Invalid_operation
+nextt878 nexttoward -1000    sNaN21 ->  NaN21  Invalid_operation
+nextt879 nexttoward  1000    sNaN22 ->  NaN22  Invalid_operation
+nextt880 nexttoward  Inf     sNaN23 ->  NaN23  Invalid_operation
+nextt881 nexttoward +NaN25  +sNaN24 ->  NaN24  Invalid_operation
+nextt882 nexttoward -NaN26    NaN28 -> -NaN26
+nextt883 nexttoward -sNaN27  sNaN29 -> -NaN27  Invalid_operation
+nextt884 nexttoward  1000    -NaN30 -> -NaN30
+nextt885 nexttoward  1000   -sNaN31 -> -NaN31  Invalid_operation
+
+-- Null tests
+nextt900 nexttoward 1  # -> NaN Invalid_operation
+nextt901 nexttoward #  1 -> NaN Invalid_operation
+