------------------------------------------------------------------------

-- 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