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

-- ddNextMinus.decTest -- decDouble next that is less [754r nextdown] --

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



-- All operands and results are decDoubles.

precision:   16

maxExponent: 384

minExponent: -383

extended:    1

clamp:       1

rounding:    half_even



ddnextm001 nextminus  0.9999999999999995 ->   0.9999999999999994

ddnextm002 nextminus  0.9999999999999996 ->   0.9999999999999995

ddnextm003 nextminus  0.9999999999999997 ->   0.9999999999999996

ddnextm004 nextminus  0.9999999999999998 ->   0.9999999999999997

ddnextm005 nextminus  0.9999999999999999 ->   0.9999999999999998

ddnextm006 nextminus  1.000000000000000  ->   0.9999999999999999

ddnextm007 nextminus  1.0         ->   0.9999999999999999

ddnextm008 nextminus  1           ->   0.9999999999999999

ddnextm009 nextminus  1.000000000000001  ->   1.000000000000000

ddnextm010 nextminus  1.000000000000002  ->   1.000000000000001

ddnextm011 nextminus  1.000000000000003  ->   1.000000000000002

ddnextm012 nextminus  1.000000000000004  ->   1.000000000000003

ddnextm013 nextminus  1.000000000000005  ->   1.000000000000004

ddnextm014 nextminus  1.000000000000006  ->   1.000000000000005

ddnextm015 nextminus  1.000000000000007  ->   1.000000000000006

ddnextm016 nextminus  1.000000000000008  ->   1.000000000000007

ddnextm017 nextminus  1.000000000000009  ->   1.000000000000008

ddnextm018 nextminus  1.000000000000010  ->   1.000000000000009

ddnextm019 nextminus  1.000000000000011  ->   1.000000000000010

ddnextm020 nextminus  1.000000000000012  ->   1.000000000000011



ddnextm021 nextminus -0.9999999999999995 ->  -0.9999999999999996

ddnextm022 nextminus -0.9999999999999996 ->  -0.9999999999999997

ddnextm023 nextminus -0.9999999999999997 ->  -0.9999999999999998

ddnextm024 nextminus -0.9999999999999998 ->  -0.9999999999999999

ddnextm025 nextminus -0.9999999999999999 ->  -1.000000000000000

ddnextm026 nextminus -1.000000000000000  ->  -1.000000000000001

ddnextm027 nextminus -1.0         ->  -1.000000000000001

ddnextm028 nextminus -1           ->  -1.000000000000001

ddnextm029 nextminus -1.000000000000001  ->  -1.000000000000002

ddnextm030 nextminus -1.000000000000002  ->  -1.000000000000003

ddnextm031 nextminus -1.000000000000003  ->  -1.000000000000004

ddnextm032 nextminus -1.000000000000004  ->  -1.000000000000005

ddnextm033 nextminus -1.000000000000005  ->  -1.000000000000006

ddnextm034 nextminus -1.000000000000006  ->  -1.000000000000007

ddnextm035 nextminus -1.000000000000007  ->  -1.000000000000008

ddnextm036 nextminus -1.000000000000008  ->  -1.000000000000009

ddnextm037 nextminus -1.000000000000009  ->  -1.000000000000010

ddnextm038 nextminus -1.000000000000010  ->  -1.000000000000011

ddnextm039 nextminus -1.000000000000011  ->  -1.000000000000012



-- ultra-tiny inputs

ddnextm062 nextminus  1E-398         ->   0E-398

ddnextm065 nextminus -1E-398         ->  -2E-398



-- Zeros

ddnextm100 nextminus -0           -> -1E-398

ddnextm101 nextminus  0           -> -1E-398

ddnextm102 nextminus  0.00        -> -1E-398

ddnextm103 nextminus -0.00        -> -1E-398

ddnextm104 nextminus  0E-300      -> -1E-398

ddnextm105 nextminus  0E+300      -> -1E-398

ddnextm106 nextminus  0E+30000    -> -1E-398

ddnextm107 nextminus -0E+30000    -> -1E-398



-- specials

ddnextm150 nextminus   Inf    ->  9.999999999999999E+384

ddnextm151 nextminus  -Inf    -> -Infinity

ddnextm152 nextminus   NaN    ->  NaN

ddnextm153 nextminus  sNaN    ->  NaN   Invalid_operation

ddnextm154 nextminus   NaN77  ->  NaN77

ddnextm155 nextminus  sNaN88  ->  NaN88 Invalid_operation

ddnextm156 nextminus  -NaN    -> -NaN

ddnextm157 nextminus -sNaN    -> -NaN   Invalid_operation

ddnextm158 nextminus  -NaN77  -> -NaN77

ddnextm159 nextminus -sNaN88  -> -NaN88 Invalid_operation



-- Nmax, Nmin, Ntiny, subnormals

ddnextm170 nextminus  9.999999999999999E+384   -> 9.999999999999998E+384

ddnextm171 nextminus  9.999999999999998E+384   -> 9.999999999999997E+384

ddnextm172 nextminus  1E-383                   -> 9.99999999999999E-384

ddnextm173 nextminus  1.000000000000000E-383   -> 9.99999999999999E-384

ddnextm174 nextminus  9E-398                   -> 8E-398

ddnextm175 nextminus  9.9E-397                 -> 9.8E-397

ddnextm176 nextminus  9.99999999999E-387       -> 9.99999999998E-387

ddnextm177 nextminus  9.99999999999999E-384    -> 9.99999999999998E-384

ddnextm178 nextminus  9.99999999999998E-384    -> 9.99999999999997E-384

ddnextm179 nextminus  9.99999999999997E-384    -> 9.99999999999996E-384

ddnextm180 nextminus  0E-398                   -> -1E-398

ddnextm181 nextminus  1E-398                   -> 0E-398

ddnextm182 nextminus  2E-398                   -> 1E-398



ddnextm183 nextminus  -0E-398                  -> -1E-398

ddnextm184 nextminus  -1E-398                  -> -2E-398

ddnextm185 nextminus  -2E-398                  -> -3E-398

ddnextm186 nextminus  -10E-398                 -> -1.1E-397

ddnextm187 nextminus  -100E-398                -> -1.01E-396

ddnextm188 nextminus  -100000E-398             -> -1.00001E-393

ddnextm189 nextminus  -1.00000000000E-383      -> -1.000000000000001E-383

ddnextm190 nextminus  -1.000000000000000E-383  -> -1.000000000000001E-383

ddnextm191 nextminus  -1E-383                  -> -1.000000000000001E-383

ddnextm192 nextminus  -9.999999999999998E+384  -> -9.999999999999999E+384

ddnextm193 nextminus  -9.999999999999999E+384  -> -Infinity



-- Null tests

ddnextm900 nextminus  # -> NaN Invalid_operation



