123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495 |
- ------------------------------------------------------------------------
- -- ddEncode.decTest -- decimal eight-byte format testcases --
- -- Copyright (c) IBM Corporation, 2000, 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 --
- ------------------------------------------------------------------------
- -- [Previously called decimal64.decTest]
- version: 2.59
- -- This set of tests is for the eight-byte concrete representation.
- -- Its characteristics are:
- --
- -- 1 bit sign
- -- 5 bits combination field
- -- 8 bits exponent continuation
- -- 50 bits coefficient continuation
- --
- -- Total exponent length 10 bits
- -- Total coefficient length 54 bits (16 digits)
- --
- -- Elimit = 767 (maximum encoded exponent)
- -- Emax = 384 (largest exponent value)
- -- Emin = -383 (smallest exponent value)
- -- bias = 398 (subtracted from encoded exponent) = -Etiny
- -- The testcases here have only exactly representable data on the
- -- 'left-hand-side'; rounding from strings is tested in 'base'
- -- testcase groups.
- extended: 1
- clamp: 1
- precision: 16
- rounding: half_up
- maxExponent: 384
- minExponent: -383
- -- General testcases
- -- (mostly derived from the Strawman 4 document and examples)
- dece001 apply #A2300000000003D0 -> -7.50
- dece002 apply -7.50 -> #A2300000000003D0
- -- derivative canonical plain strings
- dece003 apply #A23c0000000003D0 -> -7.50E+3
- dece004 apply -7.50E+3 -> #A23c0000000003D0
- dece005 apply #A2380000000003D0 -> -750
- dece006 apply -750 -> #A2380000000003D0
- dece007 apply #A2340000000003D0 -> -75.0
- dece008 apply -75.0 -> #A2340000000003D0
- dece009 apply #A22c0000000003D0 -> -0.750
- dece010 apply -0.750 -> #A22c0000000003D0
- dece011 apply #A2280000000003D0 -> -0.0750
- dece012 apply -0.0750 -> #A2280000000003D0
- dece013 apply #A2200000000003D0 -> -0.000750
- dece014 apply -0.000750 -> #A2200000000003D0
- dece015 apply #A2180000000003D0 -> -0.00000750
- dece016 apply -0.00000750 -> #A2180000000003D0
- dece017 apply #A2140000000003D0 -> -7.50E-7
- dece018 apply -7.50E-7 -> #A2140000000003D0
- -- Normality
- dece020 apply 1234567890123456 -> #263934b9c1e28e56
- dece021 apply -1234567890123456 -> #a63934b9c1e28e56
- dece022 apply 1234.567890123456 -> #260934b9c1e28e56
- dece023 apply #260934b9c1e28e56 -> 1234.567890123456
- dece024 apply 1111111111111111 -> #2638912449124491
- dece025 apply 9999999999999999 -> #6e38ff3fcff3fcff
- -- Nmax and similar
- dece031 apply 9999999999999999E+369 -> #77fcff3fcff3fcff
- dece032 apply 9.999999999999999E+384 -> #77fcff3fcff3fcff
- dece033 apply #77fcff3fcff3fcff -> 9.999999999999999E+384
- dece034 apply 1.234567890123456E+384 -> #47fd34b9c1e28e56
- dece035 apply #47fd34b9c1e28e56 -> 1.234567890123456E+384
- -- fold-downs (more below)
- dece036 apply 1.23E+384 -> #47fd300000000000 Clamped
- dece037 apply #47fd300000000000 -> 1.230000000000000E+384
- decd038 apply 1E+384 -> #47fc000000000000 Clamped
- decd039 apply #47fc000000000000 -> 1.000000000000000E+384
- decd051 apply 12345 -> #22380000000049c5
- decd052 apply #22380000000049c5 -> 12345
- decd053 apply 1234 -> #2238000000000534
- decd054 apply #2238000000000534 -> 1234
- decd055 apply 123 -> #22380000000000a3
- decd056 apply #22380000000000a3 -> 123
- decd057 apply 12 -> #2238000000000012
- decd058 apply #2238000000000012 -> 12
- decd059 apply 1 -> #2238000000000001
- decd060 apply #2238000000000001 -> 1
- decd061 apply 1.23 -> #22300000000000a3
- decd062 apply #22300000000000a3 -> 1.23
- decd063 apply 123.45 -> #22300000000049c5
- decd064 apply #22300000000049c5 -> 123.45
- -- Nmin and below
- decd071 apply 1E-383 -> #003c000000000001
- decd072 apply #003c000000000001 -> 1E-383
- decd073 apply 1.000000000000000E-383 -> #0400000000000000
- decd074 apply #0400000000000000 -> 1.000000000000000E-383
- decd075 apply 1.000000000000001E-383 -> #0400000000000001
- decd076 apply #0400000000000001 -> 1.000000000000001E-383
- decd077 apply 0.100000000000000E-383 -> #0000800000000000 Subnormal
- decd078 apply #0000800000000000 -> 1.00000000000000E-384 Subnormal
- decd079 apply 0.000000000000010E-383 -> #0000000000000010 Subnormal
- decd080 apply #0000000000000010 -> 1.0E-397 Subnormal
- decd081 apply 0.00000000000001E-383 -> #0004000000000001 Subnormal
- decd082 apply #0004000000000001 -> 1E-397 Subnormal
- decd083 apply 0.000000000000001E-383 -> #0000000000000001 Subnormal
- decd084 apply #0000000000000001 -> 1E-398 Subnormal
- -- next is smallest all-nines
- decd085 apply 9999999999999999E-398 -> #6400ff3fcff3fcff
- decd086 apply #6400ff3fcff3fcff -> 9.999999999999999E-383
- -- and a problematic divide result
- decd088 apply 1.111111111111111E-383 -> #0400912449124491
- decd089 apply #0400912449124491 -> 1.111111111111111E-383
- -- forties
- decd090 apply 40 -> #2238000000000040
- decd091 apply 39.99 -> #2230000000000cff
- -- underflows cannot be tested as all LHS exact
- -- Same again, negatives
- -- Nmax and similar
- decd122 apply -9.999999999999999E+384 -> #f7fcff3fcff3fcff
- decd123 apply #f7fcff3fcff3fcff -> -9.999999999999999E+384
- decd124 apply -1.234567890123456E+384 -> #c7fd34b9c1e28e56
- decd125 apply #c7fd34b9c1e28e56 -> -1.234567890123456E+384
- -- fold-downs (more below)
- decd130 apply -1.23E+384 -> #c7fd300000000000 Clamped
- decd131 apply #c7fd300000000000 -> -1.230000000000000E+384
- decd132 apply -1E+384 -> #c7fc000000000000 Clamped
- decd133 apply #c7fc000000000000 -> -1.000000000000000E+384
- -- overflows
- decd151 apply -12345 -> #a2380000000049c5
- decd152 apply #a2380000000049c5 -> -12345
- decd153 apply -1234 -> #a238000000000534
- decd154 apply #a238000000000534 -> -1234
- decd155 apply -123 -> #a2380000000000a3
- decd156 apply #a2380000000000a3 -> -123
- decd157 apply -12 -> #a238000000000012
- decd158 apply #a238000000000012 -> -12
- decd159 apply -1 -> #a238000000000001
- decd160 apply #a238000000000001 -> -1
- decd161 apply -1.23 -> #a2300000000000a3
- decd162 apply #a2300000000000a3 -> -1.23
- decd163 apply -123.45 -> #a2300000000049c5
- decd164 apply #a2300000000049c5 -> -123.45
- -- Nmin and below
- decd171 apply -1E-383 -> #803c000000000001
- decd172 apply #803c000000000001 -> -1E-383
- decd173 apply -1.000000000000000E-383 -> #8400000000000000
- decd174 apply #8400000000000000 -> -1.000000000000000E-383
- decd175 apply -1.000000000000001E-383 -> #8400000000000001
- decd176 apply #8400000000000001 -> -1.000000000000001E-383
- decd177 apply -0.100000000000000E-383 -> #8000800000000000 Subnormal
- decd178 apply #8000800000000000 -> -1.00000000000000E-384 Subnormal
- decd179 apply -0.000000000000010E-383 -> #8000000000000010 Subnormal
- decd180 apply #8000000000000010 -> -1.0E-397 Subnormal
- decd181 apply -0.00000000000001E-383 -> #8004000000000001 Subnormal
- decd182 apply #8004000000000001 -> -1E-397 Subnormal
- decd183 apply -0.000000000000001E-383 -> #8000000000000001 Subnormal
- decd184 apply #8000000000000001 -> -1E-398 Subnormal
- -- next is smallest all-nines
- decd185 apply -9999999999999999E-398 -> #e400ff3fcff3fcff
- decd186 apply #e400ff3fcff3fcff -> -9.999999999999999E-383
- -- and a tricky subnormal
- decd187 apply 1.11111111111524E-384 -> #00009124491246a4 Subnormal
- decd188 apply #00009124491246a4 -> 1.11111111111524E-384 Subnormal
- -- near-underflows
- decd189 apply -1e-398 -> #8000000000000001 Subnormal
- decd190 apply -1.0e-398 -> #8000000000000001 Subnormal Rounded
- -- zeros
- decd401 apply 0E-500 -> #0000000000000000 Clamped
- decd402 apply 0E-400 -> #0000000000000000 Clamped
- decd403 apply 0E-398 -> #0000000000000000
- decd404 apply #0000000000000000 -> 0E-398
- decd405 apply 0.000000000000000E-383 -> #0000000000000000
- decd406 apply #0000000000000000 -> 0E-398
- decd407 apply 0E-2 -> #2230000000000000
- decd408 apply #2230000000000000 -> 0.00
- decd409 apply 0 -> #2238000000000000
- decd410 apply #2238000000000000 -> 0
- decd411 apply 0E+3 -> #2244000000000000
- decd412 apply #2244000000000000 -> 0E+3
- decd413 apply 0E+369 -> #43fc000000000000
- decd414 apply #43fc000000000000 -> 0E+369
- -- clamped zeros...
- decd415 apply 0E+370 -> #43fc000000000000 Clamped
- decd416 apply #43fc000000000000 -> 0E+369
- decd417 apply 0E+384 -> #43fc000000000000 Clamped
- decd418 apply #43fc000000000000 -> 0E+369
- decd419 apply 0E+400 -> #43fc000000000000 Clamped
- decd420 apply #43fc000000000000 -> 0E+369
- decd421 apply 0E+500 -> #43fc000000000000 Clamped
- decd422 apply #43fc000000000000 -> 0E+369
- -- negative zeros
- decd431 apply -0E-400 -> #8000000000000000 Clamped
- decd432 apply -0E-400 -> #8000000000000000 Clamped
- decd433 apply -0E-398 -> #8000000000000000
- decd434 apply #8000000000000000 -> -0E-398
- decd435 apply -0.000000000000000E-383 -> #8000000000000000
- decd436 apply #8000000000000000 -> -0E-398
- decd437 apply -0E-2 -> #a230000000000000
- decd438 apply #a230000000000000 -> -0.00
- decd439 apply -0 -> #a238000000000000
- decd440 apply #a238000000000000 -> -0
- decd441 apply -0E+3 -> #a244000000000000
- decd442 apply #a244000000000000 -> -0E+3
- decd443 apply -0E+369 -> #c3fc000000000000
- decd444 apply #c3fc000000000000 -> -0E+369
- -- clamped zeros...
- decd445 apply -0E+370 -> #c3fc000000000000 Clamped
- decd446 apply #c3fc000000000000 -> -0E+369
- decd447 apply -0E+384 -> #c3fc000000000000 Clamped
- decd448 apply #c3fc000000000000 -> -0E+369
- decd449 apply -0E+400 -> #c3fc000000000000 Clamped
- decd450 apply #c3fc000000000000 -> -0E+369
- decd451 apply -0E+500 -> #c3fc000000000000 Clamped
- decd452 apply #c3fc000000000000 -> -0E+369
- -- exponents
- decd460 apply #225c000000000007 -> 7E+9
- decd461 apply 7E+9 -> #225c000000000007
- decd462 apply #23c4000000000007 -> 7E+99
- decd463 apply 7E+99 -> #23c4000000000007
- -- Specials
- decd500 apply Infinity -> #7800000000000000
- decd501 apply #7878787878787878 -> #7800000000000000
- decd502 apply #7800000000000000 -> Infinity
- decd503 apply #7979797979797979 -> #7800000000000000
- decd504 apply #7900000000000000 -> Infinity
- decd505 apply #7a7a7a7a7a7a7a7a -> #7800000000000000
- decd506 apply #7a00000000000000 -> Infinity
- decd507 apply #7b7b7b7b7b7b7b7b -> #7800000000000000
- decd508 apply #7b00000000000000 -> Infinity
- decd509 apply NaN -> #7c00000000000000
- decd510 apply #7c7c7c7c7c7c7c7c -> #7c007c7c7c7c7c7c
- decd511 apply #7c00000000000000 -> NaN
- decd512 apply #7d7d7d7d7d7d7d7d -> #7c017d7d7d7d7d7d
- decd513 apply #7d00000000000000 -> NaN
- decd514 apply #7e7e7e7e7e7e7e7e -> #7e007e7e7e7e7c7e
- decd515 apply #7e00000000000000 -> sNaN
- decd516 apply #7f7f7f7f7f7f7f7f -> #7e007f7f7f7f7c7f
- decd517 apply #7f00000000000000 -> sNaN
- decd518 apply #7fffffffffffffff -> sNaN999999999999999
- decd519 apply #7fffffffffffffff -> #7e00ff3fcff3fcff
- decd520 apply -Infinity -> #f800000000000000
- decd521 apply #f878787878787878 -> #f800000000000000
- decd522 apply #f800000000000000 -> -Infinity
- decd523 apply #f979797979797979 -> #f800000000000000
- decd524 apply #f900000000000000 -> -Infinity
- decd525 apply #fa7a7a7a7a7a7a7a -> #f800000000000000
- decd526 apply #fa00000000000000 -> -Infinity
- decd527 apply #fb7b7b7b7b7b7b7b -> #f800000000000000
- decd528 apply #fb00000000000000 -> -Infinity
- decd529 apply -NaN -> #fc00000000000000
- decd530 apply #fc7c7c7c7c7c7c7c -> #fc007c7c7c7c7c7c
- decd531 apply #fc00000000000000 -> -NaN
- decd532 apply #fd7d7d7d7d7d7d7d -> #fc017d7d7d7d7d7d
- decd533 apply #fd00000000000000 -> -NaN
- decd534 apply #fe7e7e7e7e7e7e7e -> #fe007e7e7e7e7c7e
- decd535 apply #fe00000000000000 -> -sNaN
- decd536 apply #ff7f7f7f7f7f7f7f -> #fe007f7f7f7f7c7f
- decd537 apply #ff00000000000000 -> -sNaN
- decd538 apply #ffffffffffffffff -> -sNaN999999999999999
- decd539 apply #ffffffffffffffff -> #fe00ff3fcff3fcff
- -- diagnostic NaNs
- decd540 apply NaN -> #7c00000000000000
- decd541 apply NaN0 -> #7c00000000000000
- decd542 apply NaN1 -> #7c00000000000001
- decd543 apply NaN12 -> #7c00000000000012
- decd544 apply NaN79 -> #7c00000000000079
- decd545 apply NaN12345 -> #7c000000000049c5
- decd546 apply NaN123456 -> #7c00000000028e56
- decd547 apply NaN799799 -> #7c000000000f7fdf
- decd548 apply NaN799799799799799 -> #7c03dff7fdff7fdf
- decd549 apply NaN999999999999999 -> #7c00ff3fcff3fcff
- -- too many digits
- -- fold-down full sequence
- decd601 apply 1E+384 -> #47fc000000000000 Clamped
- decd602 apply #47fc000000000000 -> 1.000000000000000E+384
- decd603 apply 1E+383 -> #43fc800000000000 Clamped
- decd604 apply #43fc800000000000 -> 1.00000000000000E+383
- decd605 apply 1E+382 -> #43fc100000000000 Clamped
- decd606 apply #43fc100000000000 -> 1.0000000000000E+382
- decd607 apply 1E+381 -> #43fc010000000000 Clamped
- decd608 apply #43fc010000000000 -> 1.000000000000E+381
- decd609 apply 1E+380 -> #43fc002000000000 Clamped
- decd610 apply #43fc002000000000 -> 1.00000000000E+380
- decd611 apply 1E+379 -> #43fc000400000000 Clamped
- decd612 apply #43fc000400000000 -> 1.0000000000E+379
- decd613 apply 1E+378 -> #43fc000040000000 Clamped
- decd614 apply #43fc000040000000 -> 1.000000000E+378
- decd615 apply 1E+377 -> #43fc000008000000 Clamped
- decd616 apply #43fc000008000000 -> 1.00000000E+377
- decd617 apply 1E+376 -> #43fc000001000000 Clamped
- decd618 apply #43fc000001000000 -> 1.0000000E+376
- decd619 apply 1E+375 -> #43fc000000100000 Clamped
- decd620 apply #43fc000000100000 -> 1.000000E+375
- decd621 apply 1E+374 -> #43fc000000020000 Clamped
- decd622 apply #43fc000000020000 -> 1.00000E+374
- decd623 apply 1E+373 -> #43fc000000004000 Clamped
- decd624 apply #43fc000000004000 -> 1.0000E+373
- decd625 apply 1E+372 -> #43fc000000000400 Clamped
- decd626 apply #43fc000000000400 -> 1.000E+372
- decd627 apply 1E+371 -> #43fc000000000080 Clamped
- decd628 apply #43fc000000000080 -> 1.00E+371
- decd629 apply 1E+370 -> #43fc000000000010 Clamped
- decd630 apply #43fc000000000010 -> 1.0E+370
- decd631 apply 1E+369 -> #43fc000000000001
- decd632 apply #43fc000000000001 -> 1E+369
- decd633 apply 1E+368 -> #43f8000000000001
- decd634 apply #43f8000000000001 -> 1E+368
- -- same with 9s
- decd641 apply 9E+384 -> #77fc000000000000 Clamped
- decd642 apply #77fc000000000000 -> 9.000000000000000E+384
- decd643 apply 9E+383 -> #43fc8c0000000000 Clamped
- decd644 apply #43fc8c0000000000 -> 9.00000000000000E+383
- decd645 apply 9E+382 -> #43fc1a0000000000 Clamped
- decd646 apply #43fc1a0000000000 -> 9.0000000000000E+382
- decd647 apply 9E+381 -> #43fc090000000000 Clamped
- decd648 apply #43fc090000000000 -> 9.000000000000E+381
- decd649 apply 9E+380 -> #43fc002300000000 Clamped
- decd650 apply #43fc002300000000 -> 9.00000000000E+380
- decd651 apply 9E+379 -> #43fc000680000000 Clamped
- decd652 apply #43fc000680000000 -> 9.0000000000E+379
- decd653 apply 9E+378 -> #43fc000240000000 Clamped
- decd654 apply #43fc000240000000 -> 9.000000000E+378
- decd655 apply 9E+377 -> #43fc000008c00000 Clamped
- decd656 apply #43fc000008c00000 -> 9.00000000E+377
- decd657 apply 9E+376 -> #43fc000001a00000 Clamped
- decd658 apply #43fc000001a00000 -> 9.0000000E+376
- decd659 apply 9E+375 -> #43fc000000900000 Clamped
- decd660 apply #43fc000000900000 -> 9.000000E+375
- decd661 apply 9E+374 -> #43fc000000023000 Clamped
- decd662 apply #43fc000000023000 -> 9.00000E+374
- decd663 apply 9E+373 -> #43fc000000006800 Clamped
- decd664 apply #43fc000000006800 -> 9.0000E+373
- decd665 apply 9E+372 -> #43fc000000002400 Clamped
- decd666 apply #43fc000000002400 -> 9.000E+372
- decd667 apply 9E+371 -> #43fc00000000008c Clamped
- decd668 apply #43fc00000000008c -> 9.00E+371
- decd669 apply 9E+370 -> #43fc00000000001a Clamped
- decd670 apply #43fc00000000001a -> 9.0E+370
- decd671 apply 9E+369 -> #43fc000000000009
- decd672 apply #43fc000000000009 -> 9E+369
- decd673 apply 9E+368 -> #43f8000000000009
- decd674 apply #43f8000000000009 -> 9E+368
- -- Selected DPD codes
- decd700 apply #2238000000000000 -> 0
- decd701 apply #2238000000000009 -> 9
- decd702 apply #2238000000000010 -> 10
- decd703 apply #2238000000000019 -> 19
- decd704 apply #2238000000000020 -> 20
- decd705 apply #2238000000000029 -> 29
- decd706 apply #2238000000000030 -> 30
- decd707 apply #2238000000000039 -> 39
- decd708 apply #2238000000000040 -> 40
- decd709 apply #2238000000000049 -> 49
- decd710 apply #2238000000000050 -> 50
- decd711 apply #2238000000000059 -> 59
- decd712 apply #2238000000000060 -> 60
- decd713 apply #2238000000000069 -> 69
- decd714 apply #2238000000000070 -> 70
- decd715 apply #2238000000000071 -> 71
- decd716 apply #2238000000000072 -> 72
- decd717 apply #2238000000000073 -> 73
- decd718 apply #2238000000000074 -> 74
- decd719 apply #2238000000000075 -> 75
- decd720 apply #2238000000000076 -> 76
- decd721 apply #2238000000000077 -> 77
- decd722 apply #2238000000000078 -> 78
- decd723 apply #2238000000000079 -> 79
- decd725 apply #223800000000029e -> 994
- decd726 apply #223800000000029f -> 995
- decd727 apply #22380000000002a0 -> 520
- decd728 apply #22380000000002a1 -> 521
- -- from telco test data
- decd730 apply #2238000000000188 -> 308
- decd731 apply #22380000000001a3 -> 323
- decd732 apply #223800000000002a -> 82
- decd733 apply #22380000000001a9 -> 329
- decd734 apply #2238000000000081 -> 101
- decd735 apply #22380000000002a2 -> 522
- -- DPD: one of each of the huffman groups
- decd740 apply #22380000000003f7 -> 777
- decd741 apply #22380000000003f8 -> 778
- decd742 apply #22380000000003eb -> 787
- decd743 apply #223800000000037d -> 877
- decd744 apply #223800000000039f -> 997
- decd745 apply #22380000000003bf -> 979
- decd746 apply #22380000000003df -> 799
- decd747 apply #223800000000006e -> 888
- -- DPD all-highs cases (includes the 24 redundant codes)
- decd750 apply #223800000000006e -> 888
- decd751 apply #223800000000016e -> 888
- decd752 apply #223800000000026e -> 888
- decd753 apply #223800000000036e -> 888
- decd754 apply #223800000000006f -> 889
- decd755 apply #223800000000016f -> 889
- decd756 apply #223800000000026f -> 889
- decd757 apply #223800000000036f -> 889
- decd760 apply #223800000000007e -> 898
- decd761 apply #223800000000017e -> 898
- decd762 apply #223800000000027e -> 898
- decd763 apply #223800000000037e -> 898
- decd764 apply #223800000000007f -> 899
- decd765 apply #223800000000017f -> 899
- decd766 apply #223800000000027f -> 899
- decd767 apply #223800000000037f -> 899
- decd770 apply #22380000000000ee -> 988
- decd771 apply #22380000000001ee -> 988
- decd772 apply #22380000000002ee -> 988
- decd773 apply #22380000000003ee -> 988
- decd774 apply #22380000000000ef -> 989
- decd775 apply #22380000000001ef -> 989
- decd776 apply #22380000000002ef -> 989
- decd777 apply #22380000000003ef -> 989
- decd780 apply #22380000000000fe -> 998
- decd781 apply #22380000000001fe -> 998
- decd782 apply #22380000000002fe -> 998
- decd783 apply #22380000000003fe -> 998
- decd784 apply #22380000000000ff -> 999
- decd785 apply #22380000000001ff -> 999
- decd786 apply #22380000000002ff -> 999
- decd787 apply #22380000000003ff -> 999
- -- values around [u]int32 edges (zeros done earlier)
- decd800 apply -2147483646 -> #a23800008c78af46
- decd801 apply -2147483647 -> #a23800008c78af47
- decd802 apply -2147483648 -> #a23800008c78af48
- decd803 apply -2147483649 -> #a23800008c78af49
- decd804 apply 2147483646 -> #223800008c78af46
- decd805 apply 2147483647 -> #223800008c78af47
- decd806 apply 2147483648 -> #223800008c78af48
- decd807 apply 2147483649 -> #223800008c78af49
- decd808 apply 4294967294 -> #2238000115afb55a
- decd809 apply 4294967295 -> #2238000115afb55b
- decd810 apply 4294967296 -> #2238000115afb57a
- decd811 apply 4294967297 -> #2238000115afb57b
- decd820 apply #a23800008c78af46 -> -2147483646
- decd821 apply #a23800008c78af47 -> -2147483647
- decd822 apply #a23800008c78af48 -> -2147483648
- decd823 apply #a23800008c78af49 -> -2147483649
- decd824 apply #223800008c78af46 -> 2147483646
- decd825 apply #223800008c78af47 -> 2147483647
- decd826 apply #223800008c78af48 -> 2147483648
- decd827 apply #223800008c78af49 -> 2147483649
- decd828 apply #2238000115afb55a -> 4294967294
- decd829 apply #2238000115afb55b -> 4294967295
- decd830 apply #2238000115afb57a -> 4294967296
- decd831 apply #2238000115afb57b -> 4294967297
- -- for narrowing
- decd840 apply #2870000000000000 -> 2.000000000000000E-99
- -- some miscellaneous
- decd850 apply #0004070000000000 -> 7.000000000000E-385 Subnormal
- decd851 apply #0008000000020000 -> 1.00000E-391 Subnormal
|