------------------------------------------------------------------------
-- nextminus.decTest -- decimal 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.59

extended:    1
precision:   9
rounding:    half_up
maxExponent: 384
minexponent: -383

nextm001 nextminus  0.999999995 ->   0.999999994
nextm002 nextminus  0.999999996 ->   0.999999995
nextm003 nextminus  0.999999997 ->   0.999999996
nextm004 nextminus  0.999999998 ->   0.999999997
nextm005 nextminus  0.999999999 ->   0.999999998
nextm006 nextminus  1.00000000  ->   0.999999999
nextm007 nextminus  1.0         ->   0.999999999
nextm008 nextminus  1           ->   0.999999999
nextm009 nextminus  1.00000001  ->   1.00000000
nextm010 nextminus  1.00000002  ->   1.00000001
nextm011 nextminus  1.00000003  ->   1.00000002
nextm012 nextminus  1.00000004  ->   1.00000003
nextm013 nextminus  1.00000005  ->   1.00000004
nextm014 nextminus  1.00000006  ->   1.00000005
nextm015 nextminus  1.00000007  ->   1.00000006
nextm016 nextminus  1.00000008  ->   1.00000007
nextm017 nextminus  1.00000009  ->   1.00000008
nextm018 nextminus  1.00000010  ->   1.00000009
nextm019 nextminus  1.00000011  ->   1.00000010
nextm020 nextminus  1.00000012  ->   1.00000011

nextm021 nextminus -0.999999995 ->  -0.999999996
nextm022 nextminus -0.999999996 ->  -0.999999997
nextm023 nextminus -0.999999997 ->  -0.999999998
nextm024 nextminus -0.999999998 ->  -0.999999999
nextm025 nextminus -0.999999999 ->  -1.00000000
nextm026 nextminus -1.00000000  ->  -1.00000001
nextm027 nextminus -1.0         ->  -1.00000001
nextm028 nextminus -1           ->  -1.00000001
nextm029 nextminus -1.00000001  ->  -1.00000002
nextm030 nextminus -1.00000002  ->  -1.00000003
nextm031 nextminus -1.00000003  ->  -1.00000004
nextm032 nextminus -1.00000004  ->  -1.00000005
nextm033 nextminus -1.00000005  ->  -1.00000006
nextm034 nextminus -1.00000006  ->  -1.00000007
nextm035 nextminus -1.00000007  ->  -1.00000008
nextm036 nextminus -1.00000008  ->  -1.00000009
nextm037 nextminus -1.00000009  ->  -1.00000010
nextm038 nextminus -1.00000010  ->  -1.00000011
nextm039 nextminus -1.00000011  ->  -1.00000012

-- input operand is >precision
nextm041 nextminus  1.00000010998  ->   1.00000010
nextm042 nextminus  1.00000010999  ->   1.00000010
nextm043 nextminus  1.00000011000  ->   1.00000010
nextm044 nextminus  1.00000011001  ->   1.00000011
nextm045 nextminus  1.00000011002  ->   1.00000011
nextm046 nextminus  1.00000011002  ->   1.00000011
nextm047 nextminus  1.00000011052  ->   1.00000011
nextm048 nextminus  1.00000011552  ->   1.00000011
nextm049 nextminus -1.00000010998  ->  -1.00000011
nextm050 nextminus -1.00000010999  ->  -1.00000011
nextm051 nextminus -1.00000011000  ->  -1.00000012
nextm052 nextminus -1.00000011001  ->  -1.00000012
nextm053 nextminus -1.00000011002  ->  -1.00000012
nextm054 nextminus -1.00000011002  ->  -1.00000012
nextm055 nextminus -1.00000011052  ->  -1.00000012
nextm056 nextminus -1.00000011552  ->  -1.00000012
-- ultra-tiny inputs
nextm060 nextminus  1E-99999       ->   0E-391
nextm061 nextminus  1E-999999999   ->   0E-391
nextm062 nextminus  1E-391         ->   0E-391
nextm063 nextminus -1E-99999       ->  -1E-391
nextm064 nextminus -1E-999999999   ->  -1E-391
nextm065 nextminus -1E-391         ->  -2E-391

-- Zeros
nextm100 nextminus -0           -> -1E-391
nextm101 nextminus  0           -> -1E-391
nextm102 nextminus  0.00        -> -1E-391
nextm103 nextminus -0.00        -> -1E-391
nextm104 nextminus  0E-300      -> -1E-391
nextm105 nextminus  0E+300      -> -1E-391
nextm106 nextminus  0E+30000    -> -1E-391
nextm107 nextminus -0E+30000    -> -1E-391

precision: 9
maxExponent: 999
minexponent: -999
-- specials
nextm150 nextminus   Inf    ->  9.99999999E+999
nextm151 nextminus  -Inf    -> -Infinity
nextm152 nextminus   NaN    ->  NaN
nextm153 nextminus  sNaN    ->  NaN   Invalid_operation
nextm154 nextminus   NaN77  ->  NaN77
nextm155 nextminus  sNaN88  ->  NaN88 Invalid_operation
nextm156 nextminus  -NaN    -> -NaN
nextm157 nextminus -sNaN    -> -NaN   Invalid_operation
nextm158 nextminus  -NaN77  -> -NaN77
nextm159 nextminus -sNaN88  -> -NaN88 Invalid_operation

-- Nmax, Nmin, Ntiny, subnormals
nextm170 nextminus  9.99999999E+999   -> 9.99999998E+999
nextm171 nextminus  9.99999998E+999   -> 9.99999997E+999
nextm172 nextminus  1E-999            -> 9.9999999E-1000
nextm173 nextminus  1.00000000E-999   -> 9.9999999E-1000
nextm174 nextminus  9E-1007           -> 8E-1007
nextm175 nextminus  9.9E-1006         -> 9.8E-1006
nextm176 nextminus  9.9999E-1003      -> 9.9998E-1003
nextm177 nextminus  9.9999999E-1000   -> 9.9999998E-1000
nextm178 nextminus  9.9999998E-1000   -> 9.9999997E-1000
nextm179 nextminus  9.9999997E-1000   -> 9.9999996E-1000
nextm180 nextminus  0E-1007           -> -1E-1007
nextm181 nextminus  1E-1007           -> 0E-1007
nextm182 nextminus  2E-1007           -> 1E-1007

nextm183 nextminus  -0E-1007          -> -1E-1007
nextm184 nextminus  -1E-1007          -> -2E-1007
nextm185 nextminus  -2E-1007          -> -3E-1007
nextm186 nextminus  -10E-1007         -> -1.1E-1006
nextm187 nextminus  -100E-1007        -> -1.01E-1005
nextm188 nextminus  -100000E-1007     -> -1.00001E-1002
nextm189 nextminus  -1.0000E-999      -> -1.00000001E-999
nextm190 nextminus  -1.00000000E-999  -> -1.00000001E-999
nextm191 nextminus  -1E-999           -> -1.00000001E-999
nextm192 nextminus  -9.99999998E+999  -> -9.99999999E+999
nextm193 nextminus  -9.99999999E+999  -> -Infinity

-- Null tests
nextm900 nextminus  # -> NaN Invalid_operation