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

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



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



