------------------------------------------------------------------------
-- ddCanonical.decTest -- test decDouble canonical results            --
-- 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 file tests that copy operations leave uncanonical operands
-- unchanged, and vice versa
-- All operands and results are decDoubles.
precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- Uncanonical declets are: abc, where:
--   a=1,2,3
--   b=6,7,e,f
--   c=e,f

-- assert some standard (canonical) values; this tests that FromString
-- produces canonical results (many more in decimalNN)
ddcan001 apply 9.999999999999999E+384 -> #77fcff3fcff3fcff
ddcan002 apply 0                      -> #2238000000000000
ddcan003 apply 1                      -> #2238000000000001
ddcan004 apply -1                     -> #a238000000000001
ddcan005 apply Infinity               -> #7800000000000000
ddcan006 apply -Infinity              -> #f800000000000000
ddcan007 apply -NaN                   -> #fc00000000000000
ddcan008 apply -sNaN                  -> #fe00000000000000
ddcan009 apply NaN999999999999999     -> #7c00ff3fcff3fcff
ddcan010 apply sNaN999999999999999    -> #7e00ff3fcff3fcff
decan011 apply  9999999999999999      -> #6e38ff3fcff3fcff
ddcan012 apply 7.50                   -> #22300000000003d0
ddcan013 apply 9.99                   -> #22300000000000ff

-- Base tests for canonical encodings (individual operator
-- propagation is tested later)

-- Finites: declets in coefficient
ddcan021 canonical  #77fcff3fcff3fcff  -> #77fcff3fcff3fcff
ddcan022 canonical  #77fcff3fcff3fcff  -> #77fcff3fcff3fcff
ddcan023 canonical  #77ffff3fcff3fcff  -> #77fcff3fcff3fcff
ddcan024 canonical  #77ffff3fcff3fcff  -> #77fcff3fcff3fcff
ddcan025 canonical  #77fcffffcff3fcff  -> #77fcff3fcff3fcff
ddcan026 canonical  #77fcffffcff3fcff  -> #77fcff3fcff3fcff
ddcan027 canonical  #77fcff3ffff3fcff  -> #77fcff3fcff3fcff
ddcan028 canonical  #77fcff3ffff3fcff  -> #77fcff3fcff3fcff
ddcan030 canonical  #77fcff3fcffffcff  -> #77fcff3fcff3fcff
ddcan031 canonical  #77fcff3fcffffcff  -> #77fcff3fcff3fcff
ddcan032 canonical  #77fcff3fcff3ffff  -> #77fcff3fcff3fcff
ddcan033 canonical  #77fcff3fcff3ffff  -> #77fcff3fcff3fcff
ddcan035 canonical  #77fcff3fdff3fcff  -> #77fcff3fcff3fcff
ddcan036 canonical  #77fcff3feff3fcff  -> #77fcff3fcff3fcff

-- NaN: declets in payload
ddcan100 canonical  NaN999999999999999 -> #7c00ff3fcff3fcff
ddcan101 canonical  #7c00ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan102 canonical  #7c03ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan103 canonical  #7c00ffffcff3fcff  -> #7c00ff3fcff3fcff
ddcan104 canonical  #7c00ff3ffff3fcff  -> #7c00ff3fcff3fcff
ddcan105 canonical  #7c00ff3fcffffcff  -> #7c00ff3fcff3fcff
ddcan106 canonical  #7c00ff3fcff3ffff  -> #7c00ff3fcff3fcff
ddcan107 canonical  #7c00ff3fcff3ffff  -> #7c00ff3fcff3fcff
-- NaN: exponent continuation bits [excluding sNaN selector]
ddcan110 canonical  #7c00ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan112 canonical  #7d00ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan113 canonical  #7c80ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan114 canonical  #7c40ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan115 canonical  #7c20ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan116 canonical  #7c10ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan117 canonical  #7c08ff3fcff3fcff  -> #7c00ff3fcff3fcff
ddcan118 canonical  #7c04ff3fcff3fcff  -> #7c00ff3fcff3fcff

-- sNaN: declets in payload
ddcan120 canonical sNaN999999999999999 -> #7e00ff3fcff3fcff
ddcan121 canonical  #7e00ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan122 canonical  #7e03ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan123 canonical  #7e00ffffcff3fcff  -> #7e00ff3fcff3fcff
ddcan124 canonical  #7e00ff3ffff3fcff  -> #7e00ff3fcff3fcff
ddcan125 canonical  #7e00ff3fcffffcff  -> #7e00ff3fcff3fcff
ddcan126 canonical  #7e00ff3fcff3ffff  -> #7e00ff3fcff3fcff
ddcan127 canonical  #7e00ff3fcff3ffff  -> #7e00ff3fcff3fcff
-- sNaN: exponent continuation bits [excluding sNaN selector]
ddcan130 canonical  #7e00ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan132 canonical  #7f00ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan133 canonical  #7e80ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan134 canonical  #7e40ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan135 canonical  #7e20ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan136 canonical  #7e10ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan137 canonical  #7e08ff3fcff3fcff  -> #7e00ff3fcff3fcff
ddcan138 canonical  #7e04ff3fcff3fcff  -> #7e00ff3fcff3fcff

-- Inf: exponent continuation bits
ddcan140 canonical  #7800000000000000  -> #7800000000000000
ddcan141 canonical  #7900000000000000  -> #7800000000000000
ddcan142 canonical  #7a00000000000000  -> #7800000000000000
ddcan143 canonical  #7880000000000000  -> #7800000000000000
ddcan144 canonical  #7840000000000000  -> #7800000000000000
ddcan145 canonical  #7820000000000000  -> #7800000000000000
ddcan146 canonical  #7810000000000000  -> #7800000000000000
ddcan147 canonical  #7808000000000000  -> #7800000000000000
ddcan148 canonical  #7804000000000000  -> #7800000000000000

-- Inf: coefficient continuation bits (first, last, and a few others)
ddcan150 canonical  #7800000000000000  -> #7800000000000000
ddcan151 canonical  #7802000000000000  -> #7800000000000000
ddcan152 canonical  #7800000000000001  -> #7800000000000000
ddcan153 canonical  #7801000000000000  -> #7800000000000000
ddcan154 canonical  #7800200000000000  -> #7800000000000000
ddcan155 canonical  #7800080000000000  -> #7800000000000000
ddcan156 canonical  #7800002000000000  -> #7800000000000000
ddcan157 canonical  #7800000400000000  -> #7800000000000000
ddcan158 canonical  #7800000040000000  -> #7800000000000000
ddcan159 canonical  #7800000008000000  -> #7800000000000000
ddcan160 canonical  #7800000000400000  -> #7800000000000000
ddcan161 canonical  #7800000000020000  -> #7800000000000000
ddcan162 canonical  #7800000000008000  -> #7800000000000000
ddcan163 canonical  #7800000000000200  -> #7800000000000000
ddcan164 canonical  #7800000000000040  -> #7800000000000000
ddcan165 canonical  #7800000000000008  -> #7800000000000000


-- Now the operators -- trying to check paths that might fail to
-- canonicalize propagated operands

----- Add:
-- Finites: neutral 0
ddcan202 add  0E+384 #77ffff3fcff3fcff        -> #77fcff3fcff3fcff
ddcan203 add         #77fcffffcff3fcff 0E+384 -> #77fcff3fcff3fcff
-- tiny zero
ddcan204 add  0E-398 #77ffff3fcff3fcff        -> #77fcff3fcff3fcff Rounded
ddcan205 add         #77fcffffcff3fcff 0E-398 -> #77fcff3fcff3fcff Rounded
-- tiny non zero
ddcan206 add -1E-398 #77ffff3fcff3fcff         -> #77fcff3fcff3fcff Inexact Rounded
ddcan207 add         #77ffff3fcff3fcff -1E-398 -> #77fcff3fcff3fcff Inexact Rounded
-- NaN: declets in payload
ddcan211 add  0  #7c03ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan212 add     #7c03ff3fcff3fcff  0   -> #7c00ff3fcff3fcff
-- NaN: exponent continuation bits [excluding sNaN selector]
ddcan213 add  0  #7c40ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan214 add     #7c40ff3fcff3fcff  0   -> #7c00ff3fcff3fcff
-- sNaN: declets in payload
ddcan215 add  0  #7e00ffffcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan216 add     #7e00ffffcff3fcff  0   -> #7c00ff3fcff3fcff Invalid_operation
-- sNaN: exponent continuation bits [excluding sNaN selector]
ddcan217 add  0  #7e80ff3fcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan218 add     #7e80ff3fcff3fcff  0   -> #7c00ff3fcff3fcff Invalid_operation
-- Inf: exponent continuation bits
ddcan220 add  0  #7880000000000000      -> #7800000000000000
ddcan221 add     #7880000000000000  0   -> #7800000000000000
-- Inf: coefficient continuation bits
ddcan222 add  0  #7802000000000000     -> #7800000000000000
ddcan223 add     #7802000000000000  0  -> #7800000000000000
ddcan224 add  0  #7800000000000001     -> #7800000000000000
ddcan225 add     #7800000000000001  0  -> #7800000000000000
ddcan226 add  0  #7800002000000000     -> #7800000000000000
ddcan227 add     #7800002000000000  0  -> #7800000000000000

----- Class: [does not return encoded]

----- Compare:
ddcan231 compare -Inf   1     ->  #a238000000000001
ddcan232 compare -Inf  -Inf   ->  #2238000000000000
ddcan233 compare  1    -Inf   ->  #2238000000000001
ddcan234 compare  #7c00ff3ffff3fcff -1000  ->  #7c00ff3fcff3fcff
ddcan235 compare  #7e00ff3ffff3fcff -1000  ->  #7c00ff3fcff3fcff  Invalid_operation

----- CompareSig:
ddcan241 comparesig -Inf   1     ->  #a238000000000001
ddcan242 comparesig -Inf  -Inf   ->  #2238000000000000
ddcan243 comparesig  1    -Inf   ->  #2238000000000001
ddcan244 comparesig  #7c00ff3ffff3fcff -1000  ->  #7c00ff3fcff3fcff  Invalid_operation
ddcan245 comparesig  #7e00ff3ffff3fcff -1000  ->  #7c00ff3fcff3fcff  Invalid_operation

----- Copy: [does not usually canonicalize]
-- finites
ddcan250 copy  #77ffff3fcff3fcff  -> #77ffff3fcff3fcff
ddcan251 copy  #77fcff3fdff3fcff  -> #77fcff3fdff3fcff
-- NaNs
ddcan252 copy  #7c03ff3fcff3fcff  -> #7c03ff3fcff3fcff
ddcan253 copy  #7c00ff3fcff3ffff  -> #7c00ff3fcff3ffff
ddcan254 copy  #7d00ff3fcff3fcff  -> #7d00ff3fcff3fcff
ddcan255 copy  #7c04ff3fcff3fcff  -> #7c04ff3fcff3fcff
-- sNaN
ddcan256 copy  #7e00ff3fcffffcff  -> #7e00ff3fcffffcff
ddcan257 copy  #7e40ff3fcff3fcff  -> #7e40ff3fcff3fcff
-- Inf
ddcan258 copy  #7a00000000000000  -> #7a00000000000000
ddcan259 copy  #7800200000000000  -> #7800200000000000

----- CopyAbs: [does not usually canonicalize]
-- finites
ddcan260 copyabs  #f7ffff3fcff3fcff  -> #77ffff3fcff3fcff
ddcan261 copyabs  #f7fcff3fdff3fcff  -> #77fcff3fdff3fcff
-- NaNs
ddcan262 copyabs  #fc03ff3fcff3fcff  -> #7c03ff3fcff3fcff
ddcan263 copyabs  #fc00ff3fcff3ffff  -> #7c00ff3fcff3ffff
ddcan264 copyabs  #fd00ff3fcff3fcff  -> #7d00ff3fcff3fcff
ddcan265 copyabs  #fc04ff3fcff3fcff  -> #7c04ff3fcff3fcff
-- sNaN
ddcan266 copyabs  #fe00ff3fcffffcff  -> #7e00ff3fcffffcff
ddcan267 copyabs  #fe40ff3fcff3fcff  -> #7e40ff3fcff3fcff
-- Inf
ddcan268 copyabs  #fa00000000000000  -> #7a00000000000000
ddcan269 copyabs  #f800200000000000  -> #7800200000000000

----- CopyNegate: [does not usually canonicalize]
-- finites
ddcan270 copynegate  #77ffff3fcff3fcff  -> #f7ffff3fcff3fcff
ddcan271 copynegate  #77fcff3fdff3fcff  -> #f7fcff3fdff3fcff
-- NaNs
ddcan272 copynegate  #7c03ff3fcff3fcff  -> #fc03ff3fcff3fcff
ddcan273 copynegate  #7c00ff3fcff3ffff  -> #fc00ff3fcff3ffff
ddcan274 copynegate  #7d00ff3fcff3fcff  -> #fd00ff3fcff3fcff
ddcan275 copynegate  #7c04ff3fcff3fcff  -> #fc04ff3fcff3fcff
-- sNaN
ddcan276 copynegate  #7e00ff3fcffffcff  -> #fe00ff3fcffffcff
ddcan277 copynegate  #7e40ff3fcff3fcff  -> #fe40ff3fcff3fcff
-- Inf
ddcan278 copynegate  #7a00000000000000  -> #fa00000000000000
ddcan279 copynegate  #7800200000000000  -> #f800200000000000

----- CopySign: [does not usually canonicalize]
-- finites
ddcan280 copysign  #77ffff3fcff3fcff -1 -> #f7ffff3fcff3fcff
ddcan281 copysign  #77fcff3fdff3fcff  1 -> #77fcff3fdff3fcff
-- NaNs
ddcan282 copysign  #7c03ff3fcff3fcff -1 -> #fc03ff3fcff3fcff
ddcan283 copysign  #7c00ff3fcff3ffff  1 -> #7c00ff3fcff3ffff
ddcan284 copysign  #7d00ff3fcff3fcff -1 -> #fd00ff3fcff3fcff
ddcan285 copysign  #7c04ff3fcff3fcff  1 -> #7c04ff3fcff3fcff
-- sNaN
ddcan286 copysign  #7e00ff3fcffffcff -1 -> #fe00ff3fcffffcff
ddcan287 copysign  #7e40ff3fcff3fcff  1 -> #7e40ff3fcff3fcff
-- Inf
ddcan288 copysign  #7a00000000000000 -1 -> #fa00000000000000
ddcan289 copysign  #7800200000000000  1 -> #7800200000000000

----- Multiply:
-- Finites: neutral 0
ddcan302 multiply  1      #77ffff3fcff3fcff        -> #77fcff3fcff3fcff
ddcan303 multiply         #77fcffffcff3fcff  1     -> #77fcff3fcff3fcff
-- negative
ddcan306 multiply -1      #77ffff3fcff3fcff        -> #f7fcff3fcff3fcff
ddcan307 multiply         #77fcffffcff3fcff -1     -> #f7fcff3fcff3fcff
-- NaN: declets in payload
ddcan311 multiply  1  #7c03ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan312 multiply     #7c03ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
-- NaN: exponent continuation bits [excluding sNaN selector]
ddcan313 multiply  1  #7c40ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan314 multiply     #7c40ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
-- sNaN: declets in payload
ddcan315 multiply  1  #7e00ffffcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan316 multiply     #7e00ffffcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation
-- sNaN: exponent continuation bits [excluding sNaN selector]
ddcan317 multiply  1  #7e80ff3fcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan318 multiply     #7e80ff3fcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation
-- Inf: exponent continuation bits
ddcan320 multiply  1  #7880000000000000      -> #7800000000000000
ddcan321 multiply     #7880000000000000  1   -> #7800000000000000
-- Inf: coefficient continuation bits
ddcan322 multiply  1  #7802000000000000     -> #7800000000000000
ddcan323 multiply     #7802000000000000  1  -> #7800000000000000
ddcan324 multiply  1  #7800000000000001     -> #7800000000000000
ddcan325 multiply     #7800000000000001  1  -> #7800000000000000
ddcan326 multiply  1  #7800002000000000     -> #7800000000000000
ddcan327 multiply     #7800002000000000  1  -> #7800000000000000

----- Quantize:
ddcan401 quantize  #6e38ff3ffff3fcff 1    -> #6e38ff3fcff3fcff
ddcan402 quantize  #6e38ff3fcff3fdff 0    -> #6e38ff3fcff3fcff
ddcan403 quantize  #7880000000000000 Inf  -> #7800000000000000
ddcan404 quantize  #7802000000000000 -Inf -> #7800000000000000
ddcan410 quantize  #7c03ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
ddcan411 quantize  #7c03ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
ddcan412 quantize  #7c40ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
ddcan413 quantize  #7c40ff3fcff3fcff  1   -> #7c00ff3fcff3fcff
ddcan414 quantize  #7e00ffffcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation
ddcan415 quantize  #7e00ffffcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation
ddcan416 quantize  #7e80ff3fcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation
ddcan417 quantize  #7e80ff3fcff3fcff  1   -> #7c00ff3fcff3fcff Invalid_operation

----- Subtract:
-- Finites: neutral 0
ddcan502 subtract  0E+384 #77ffff3fcff3fcff        -> #f7fcff3fcff3fcff
ddcan503 subtract         #77fcffffcff3fcff 0E+384 -> #77fcff3fcff3fcff
-- tiny zero
ddcan504 subtract  0E-398 #77ffff3fcff3fcff        -> #f7fcff3fcff3fcff Rounded
ddcan505 subtract         #77fcffffcff3fcff 0E-398 -> #77fcff3fcff3fcff Rounded
-- tiny non zero
ddcan506 subtract -1E-398 #77ffff3fcff3fcff         -> #f7fcff3fcff3fcff Inexact Rounded
ddcan507 subtract         #77ffff3fcff3fcff -1E-398 -> #77fcff3fcff3fcff Inexact Rounded
-- NaN: declets in payload
ddcan511 subtract  0  #7c03ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan512 subtract     #7c03ff3fcff3fcff  0   -> #7c00ff3fcff3fcff
-- NaN: exponent continuation bits [excluding sNaN selector]
ddcan513 subtract  0  #7c40ff3fcff3fcff      -> #7c00ff3fcff3fcff
ddcan514 subtract     #7c40ff3fcff3fcff  0   -> #7c00ff3fcff3fcff
-- sNaN: declets in payload
ddcan515 subtract  0  #7e00ffffcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan516 subtract     #7e00ffffcff3fcff  0   -> #7c00ff3fcff3fcff Invalid_operation
-- sNaN: exponent continuation bits [excluding sNaN selector]
ddcan517 subtract  0  #7e80ff3fcff3fcff      -> #7c00ff3fcff3fcff Invalid_operation
ddcan518 subtract     #7e80ff3fcff3fcff  0   -> #7c00ff3fcff3fcff Invalid_operation
-- Inf: exponent continuation bits
ddcan520 subtract  0  #7880000000000000      -> #f800000000000000
ddcan521 subtract     #7880000000000000  0   -> #7800000000000000
-- Inf: coefficient continuation bits
ddcan522 subtract  0  #7802000000000000     -> #f800000000000000
ddcan523 subtract     #7802000000000000  0  -> #7800000000000000
ddcan524 subtract  0  #7800000000000001     -> #f800000000000000
ddcan525 subtract     #7800000000000001  0  -> #7800000000000000
ddcan526 subtract  0  #7800002000000000     -> #f800000000000000
ddcan527 subtract     #7800002000000000  0  -> #7800000000000000

----- ToIntegral:
ddcan601 tointegralx  #6e38ff3ffff3fcff -> #6e38ff3fcff3fcff
ddcan602 tointegralx  #6e38ff3fcff3fdff -> #6e38ff3fcff3fcff
ddcan603 tointegralx  #7880000000000000 -> #7800000000000000
ddcan604 tointegralx  #7802000000000000 -> #7800000000000000
ddcan610 tointegralx  #7c03ff3fcff3fcff -> #7c00ff3fcff3fcff
ddcan611 tointegralx  #7c03ff3fcff3fcff -> #7c00ff3fcff3fcff
ddcan612 tointegralx  #7c40ff3fcff3fcff -> #7c00ff3fcff3fcff
ddcan613 tointegralx  #7c40ff3fcff3fcff -> #7c00ff3fcff3fcff
ddcan614 tointegralx  #7e00ffffcff3fcff -> #7c00ff3fcff3fcff Invalid_operation
ddcan615 tointegralx  #7e00ffffcff3fcff -> #7c00ff3fcff3fcff Invalid_operation
ddcan616 tointegralx  #7e80ff3fcff3fcff -> #7c00ff3fcff3fcff Invalid_operation
ddcan617 tointegralx  #7e80ff3fcff3fcff -> #7c00ff3fcff3fcff Invalid_operation
-- uncanonical 3999, 39.99, 3.99, 0.399, and negatives
ddcan618 tointegralx  #2238000000000fff -> #2238000000000cff
ddcan619 tointegralx  #2230000000000fff -> #2238000000000040 Inexact Rounded
ddcan620 tointegralx  #222c000000000fff -> #2238000000000004 Inexact Rounded
ddcan621 tointegralx  #2228000000000fff -> #2238000000000000 Inexact Rounded
ddcan622 tointegralx  #a238000000000fff -> #a238000000000cff
ddcan623 tointegralx  #a230000000000fff -> #a238000000000040 Inexact Rounded
ddcan624 tointegralx  #a22c000000000fff -> #a238000000000004 Inexact Rounded
ddcan625 tointegralx  #a228000000000fff -> #a238000000000000 Inexact Rounded



