------------------------------------------------------------------------
-- plus0.decTest -- decimal monadic addition (simplified)             --
-- 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

-- This set of tests primarily tests the existence of the operator.
-- Addition and rounding, and most overflows, are tested elsewhere.

extended:    0
precision:   9
rounding:    half_up
maxExponent: 999
minexponent: -999

plu001 plus '1'      -> '1'
plu002 plus '-1'     -> '-1'
plu003 plus '1.00'   -> '1.00'
plu004 plus '-1.00'  -> '-1.00'
plu005 plus '0'      -> '0'
plu006 plus '0.00'   -> '0'
plu007 plus '00.0'   -> '0'
plu008 plus '00.00'  -> '0'
plu009 plus '00'     -> '0'

plu010 plus '-2'     -> '-2'
plu011 plus '2'      -> '2'
plu012 plus '-2.00'  -> '-2.00'
plu013 plus '2.00'   -> '2.00'
plu014 plus '-0'     -> '0'
plu015 plus '-0.00'  -> '0'
plu016 plus '-00.0'  -> '0'
plu017 plus '-00.00' -> '0'
plu018 plus '-00'    -> '0'

plu020 plus '-2000000' -> '-2000000'
plu021 plus '2000000'  -> '2000000'
precision: 7
plu022 plus '-2000000' -> '-2000000'
plu023 plus '2000000'  -> '2000000'
precision: 6
plu024 plus '-2000000' -> '-2.00000E+6' Rounded
plu025 plus '2000000'  -> '2.00000E+6' Rounded
precision: 3
plu026 plus '-2000000' -> '-2.00E+6' Rounded
plu027 plus '2000000'  -> '2.00E+6' Rounded

-- more fixed, potential LHS swaps if done by add 0
precision: 9
plu060 plus '56267E-10'   -> '0.0000056267'
plu061 plus '56267E-5'    -> '0.56267'
plu062 plus '56267E-2'    -> '562.67'
plu063 plus '56267E-1'    -> '5626.7'
plu065 plus '56267E-0'    -> '56267'
plu066 plus '56267E+0'    -> '56267'
plu067 plus '56267E+1'    -> '562670'
plu068 plus '56267E+2'    -> '5626700'
plu069 plus '56267E+3'    -> '56267000'
plu070 plus '56267E+4'    -> '562670000'
plu071 plus '56267E+5'    -> '5.6267E+9'
plu072 plus '56267E+6'    -> '5.6267E+10'
plu080 plus '-56267E-10'  -> '-0.0000056267'
plu081 plus '-56267E-5'   -> '-0.56267'
plu082 plus '-56267E-2'   -> '-562.67'
plu083 plus '-56267E-1'   -> '-5626.7'
plu085 plus '-56267E-0'   -> '-56267'
plu086 plus '-56267E+0'   -> '-56267'
plu087 plus '-56267E+1'   -> '-562670'
plu088 plus '-56267E+2'   -> '-5626700'
plu089 plus '-56267E+3'   -> '-56267000'
plu090 plus '-56267E+4'   -> '-562670000'
plu091 plus '-56267E+5'   -> '-5.6267E+9'
plu092 plus '-56267E+6'   -> '-5.6267E+10'

-- overflow tests [underflow not possible]
maxexponent: 999999999
minexponent: -999999999
precision: 3
plu120 plus 9.999E+999999999 -> ? Inexact Lost_digits Overflow Rounded

-- lostDigits checks
maxexponent: 999
minexponent: -999
precision: 9
plu301 plus 12345678000  -> 1.23456780E+10 Rounded
plu302 plus 1234567800   -> 1.23456780E+9 Rounded
plu303 plus 1234567890   -> 1.23456789E+9 Rounded
plu304 plus 1234567891   -> 1.23456789E+9 Inexact Lost_digits Rounded
plu305 plus 12345678901  -> 1.23456789E+10 Inexact Lost_digits Rounded
plu306 plus 1234567896   -> 1.23456790E+9 Inexact Lost_digits Rounded

precision: 15
-- still checking for [no] lostDigits
plu321 plus 12345678000  -> 12345678000
plu322 plus 1234567800   -> 1234567800
plu323 plus 1234567890   -> 1234567890
plu324 plus 1234567891   -> 1234567891
plu325 plus 12345678901  -> 12345678901
plu326 plus 1234567896   -> 1234567896

-- Null tests
plu400 plus  # -> ? Invalid_operation