integer.dectest

eda is an estimation of distributions algorithm

------------------------------------------------------------------------
-- integer.decTest -- round decimal to integer                        --
-- Copyright (c) IBM Corporation, 2001, 2002.  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         --
--   [e-mail]                                                   --
------------------------------------------------------------------------
version: 2.15

-- This set of tests tests the extended specification 'round-to-integer'
-- operation (from IEEE 854).  All non-zero results are defined as
-- being those from either plus or rescale, so those are assumed to have
-- been tested.

extended:    1
precision:   9
rounding:    half_up
maxExponent: 999

intx001 integer      0     ->  0
intx002 integer      0.0   ->  0
intx003 integer      0.1   ->  0 Rounded Inexact
intx004 integer      0.2   ->  0 Rounded Inexact
intx005 integer      0.3   ->  0 Rounded Inexact
intx006 integer      0.4   ->  0 Rounded Inexact
intx007 integer      0.5   ->  1 Rounded Inexact
intx008 integer      0.6   ->  1 Rounded Inexact
intx009 integer      0.7   ->  1 Rounded Inexact
intx010 integer      0.8   ->  1 Rounded Inexact
intx011 integer      0.9   ->  1 Rounded Inexact
intx012 integer      1     ->  1
intx013 integer      1.0   ->  1 Rounded
intx014 integer      1.1   ->  1 Rounded Inexact
intx015 integer      1.2   ->  1 Rounded Inexact
intx016 integer      1.3   ->  1 Rounded Inexact
intx017 integer      1.4   ->  1 Rounded Inexact
intx018 integer      1.5   ->  2 Rounded Inexact
intx019 integer      1.6   ->  2 Rounded Inexact
intx020 integer      1.7   ->  2 Rounded Inexact
intx021 integer      1.8   ->  2 Rounded Inexact
intx022 integer      1.9   ->  2 Rounded Inexact
-- negatives
intx031 integer     -0     -> -0
intx032 integer     -0.0   -> -0
intx033 integer     -0.1   -> -0 Rounded Inexact
intx034 integer     -0.2   -> -0 Rounded Inexact
intx035 integer     -0.3   -> -0 Rounded Inexact
intx036 integer     -0.4   -> -0 Rounded Inexact
intx037 integer     -0.5   -> -1 Rounded Inexact
intx038 integer     -0.6   -> -1 Rounded Inexact
intx039 integer     -0.7   -> -1 Rounded Inexact
intx040 integer     -0.8   -> -1 Rounded Inexact
intx041 integer     -0.9   -> -1 Rounded Inexact
intx042 integer     -1     -> -1
intx043 integer     -1.0   -> -1 Rounded
intx044 integer     -1.1   -> -1 Rounded Inexact
intx045 integer     -1.2   -> -1 Rounded Inexact
intx046 integer     -1.3   -> -1 Rounded Inexact
intx047 integer     -1.4   -> -1 Rounded Inexact
intx048 integer     -1.5   -> -2 Rounded Inexact
intx049 integer     -1.6   -> -2 Rounded Inexact
intx050 integer     -1.7   -> -2 Rounded Inexact
intx051 integer     -1.8   -> -2 Rounded Inexact
intx052 integer     -1.9   -> -2 Rounded Inexact

-- numbers around precision
precision: 9
intx060 integer '56267E-10'   -> '0' Inexact Rounded
intx061 integer '56267E-5'    -> '1' Inexact Rounded
intx062 integer '56267E-2'    -> '563' Inexact Rounded
intx063 integer '56267E-1'    -> '5627' Inexact Rounded
intx065 integer '56267E-0'    -> '56267'
intx066 integer '56267E+0'    -> '56267'
intx067 integer '56267E+1'    -> '562670'
intx068 integer '56267E+2'    -> '5626700'
intx069 integer '56267E+3'    -> '56267000'
intx070 integer '56267E+4'    -> '562670000'
intx071 integer '56267E+5'    -> Infinity Overflow Inexact Rounded
intx072 integer '56267E+6'    -> Infinity Overflow Inexact Rounded
intx080 integer '-56267E-10'  -> '-0'      Inexact Rounded
intx081 integer '-56267E-5'   -> '-1'      Inexact Rounded
intx082 integer '-56267E-2'   -> '-563'    Inexact Rounded
intx083 integer '-56267E-1'   -> '-5627'   Inexact Rounded
intx085 integer '-56267E-0'   -> '-56267'
intx086 integer '-56267E+0'   -> '-56267'
intx087 integer '-56267E+1'   -> '-562670'
intx088 integer '-56267E+2'   -> '-5626700'
intx089 integer '-56267E+3'   -> '-56267000'
intx090 integer '-56267E+4'   -> '-562670000'
intx091 integer '-56267E+5'   -> -Infinity Overflow Inexact Rounded
intx092 integer '-56267E+6'   -> -Infinity Overflow Inexact Rounded

-- specials and zeros
intx120 integer 'Inf'       -> 'Infinity'
intx121 integer '-Inf'      -> '-Infinity'
intx122 integer   NaN       ->  NaN
intx123 integer  sNaN       ->  NaN  Invalid_operation
intx124 integer     0       ->  0
intx125 integer    -0       -> -0
intx126 integer     0.000   ->  0
intx127 integer     0.00    ->  0
intx128 integer     0.0     ->  0
intx129 integer     0       ->  0
intx130 integer     0E-3    ->  0
intx131 integer     0E-2    ->  0
intx132 integer     0E-1    ->  0
intx133 integer     0E-0    ->  0
intx134 integer     0E+1    ->  0
intx135 integer     0E+2    ->  0
intx136 integer     0E+3    ->  0
intx137 integer     0E+4    ->  0
intx138 integer     0E+5    ->  0
intx139 integer    -0.000   -> -0
intx140 integer    -0.00    -> -0
intx141 integer    -0.0     -> -0
intx142 integer    -0       -> -0
intx143 integer    -0E-3    -> -0
intx144 integer    -0E-2    -> -0
intx145 integer    -0E-1    -> -0
intx146 integer    -0E-0    -> -0
intx147 integer    -0E+1    -> -0
intx148 integer    -0E+2    -> -0
intx149 integer    -0E+3    -> -0
intx150 integer    -0E+4    -> -0
intx151 integer    -0E+5    -> -0

-- examples
rounding:    half_up
precision:   9
intx200 integer     2.1    -> 2       Rounded Inexact
intx201 integer   100      -> 100
intx202 integer   100.0    -> 100     Rounded
intx203 integer   101.5    -> 102     Rounded Inexact
intx204 integer  -101.5    -> -102    Rounded Inexact
intx205 integer   10E+5    -> 1000000