lib-python.2.5.test.decimaltestdata.nexttoward.decTest Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jython Show documentation
Show all versions of jython Show documentation
Jython is an implementation of the high-level, dynamic, object-oriented
language Python written in 100% Pure Java, and seamlessly integrated with
the Java platform. It thus allows you to run Python on any Java platform.
------------------------------------------------------------------------
-- nexttoward.decTest -- decimal next toward rhs [754r nextafter] --
-- Copyright (c) IBM Corporation, 1981, 2007. 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 --
-- [email protected] --
------------------------------------------------------------------------
version: 2.57
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 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