Home | History | Annotate | Download | only in decimaltestdata
      1 ------------------------------------------------------------------------
      2 -- dqAnd.decTest -- digitwise logical AND for decQuads                --
      3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
      4 ------------------------------------------------------------------------
      5 -- Please see the document "General Decimal Arithmetic Testcases"     --
      6 -- at http://www2.hursley.ibm.com/decimal for the description of      --
      7 -- these testcases.                                                   --
      8 --                                                                    --
      9 -- These testcases are experimental ('beta' versions), and they       --
     10 -- may contain errors.  They are offered on an as-is basis.  In       --
     11 -- particular, achieving the same results as the tests here is not    --
     12 -- a guarantee that an implementation complies with any Standard      --
     13 -- or specification.  The tests are not exhaustive.                   --
     14 --                                                                    --
     15 -- Please send comments, suggestions, and corrections to the author:  --
     16 --   Mike Cowlishaw, IBM Fellow                                       --
     17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
     18 --   mfc (a] uk.ibm.com                                                   --
     19 ------------------------------------------------------------------------
     20 version: 2.59
     21 
     22 extended:    1
     23 clamp:       1
     24 precision:   34
     25 maxExponent: 6144
     26 minExponent: -6143
     27 rounding:    half_even
     28 
     29 -- Sanity check (truth table)
     30 dqand001 and             0    0 ->    0
     31 dqand002 and             0    1 ->    0
     32 dqand003 and             1    0 ->    0
     33 dqand004 and             1    1 ->    1
     34 dqand005 and          1100 1010 -> 1000
     35 -- and at msd and msd-1
     36 --           1234567890123456789012345678901234
     37 dqand006 and 0000000000000000000000000000000000 0000000000000000000000000000000000 ->                  0
     38 dqand007 and 0000000000000000000000000000000000 1000000000000000000000000000000000 ->                  0
     39 dqand008 and 1000000000000000000000000000000000 0000000000000000000000000000000000 ->                  0
     40 dqand009 and 1000000000000000000000000000000000 1000000000000000000000000000000000 ->   1000000000000000000000000000000000
     41 dqand010 and 0000000000000000000000000000000000 0000000000000000000000000000000000 ->                  0
     42 dqand011 and 0000000000000000000000000000000000 0100000000000000000000000000000000 ->                  0
     43 dqand012 and 0100000000000000000000000000000000 0000000000000000000000000000000000 ->                  0
     44 dqand013 and 0100000000000000000000000000000000 0100000000000000000000000000000000 ->    100000000000000000000000000000000
     45 
     46 -- Various lengths
     47 --           1234567890123456789012345678901234
     48 
     49 dqand601 and 0111111111111111111111111111111111 1111111111111111111111111111111111  ->  111111111111111111111111111111111
     50 dqand602 and 1011111111111111111111111111111111 1111111111111111111111111111111111  -> 1011111111111111111111111111111111
     51 dqand603 and 1101111111111111111111111111111111 1111111111111111111111111111111111  -> 1101111111111111111111111111111111
     52 dqand604 and 1110111111111111111111111111111111 1111111111111111111111111111111111  -> 1110111111111111111111111111111111
     53 dqand605 and 1111011111111111111111111111111111 1111111111111111111111111111111111  -> 1111011111111111111111111111111111
     54 dqand606 and 1111101111111111111111111111111111 1111111111111111111111111111111111  -> 1111101111111111111111111111111111
     55 dqand607 and 1111110111111111111111111111111111 1111111111111111111111111111111111  -> 1111110111111111111111111111111111
     56 dqand608 and 1111111011111111111111111111111111 1111111111111111111111111111111111  -> 1111111011111111111111111111111111
     57 dqand609 and 1111111101111111111111111111111111 1111111111111111111111111111111111  -> 1111111101111111111111111111111111
     58 dqand610 and 1111111110111111111111111111111111 1111111111111111111111111111111111  -> 1111111110111111111111111111111111
     59 dqand611 and 1111111111011111111111111111111111 1111111111111111111111111111111111  -> 1111111111011111111111111111111111
     60 dqand612 and 1111111111101111111111111111111111 1111111111111111111111111111111111  -> 1111111111101111111111111111111111
     61 dqand613 and 1111111111110111111111111111111111 1111111111111111111111111111111111  -> 1111111111110111111111111111111111
     62 dqand614 and 1111111111111011111111111111111111 1111111111111111111111111111111111  -> 1111111111111011111111111111111111
     63 dqand615 and 1111111111111101111111111111111111 1111111111111111111111111111111111  -> 1111111111111101111111111111111111
     64 dqand616 and 1111111111111110111111111111111111 1111111111111111111111111111111111  -> 1111111111111110111111111111111111
     65 dqand617 and 1111111111111111011111111111111111 1111111111111111111111111111111111  -> 1111111111111111011111111111111111
     66 dqand618 and 1111111111111111101111111111111111 1111111111111111111111111111111111  -> 1111111111111111101111111111111111
     67 dqand619 and 1111111111111111110111111111111111 1111111111111111111111111111111111  -> 1111111111111111110111111111111111
     68 dqand620 and 1111111111111111111011111111111111 1111111111111111111111111111111111  -> 1111111111111111111011111111111111
     69 dqand621 and 1111111111111111111101111111111111 1111111111111111111111111111111111  -> 1111111111111111111101111111111111
     70 dqand622 and 1111111111111111111110111111111111 1111111111111111111111111111111111  -> 1111111111111111111110111111111111
     71 dqand623 and 1111111111111111111111011111111111 1111111111111111111111111111111111  -> 1111111111111111111111011111111111
     72 dqand624 and 1111111111111111111111101111111111 1111111111111111111111111111111111  -> 1111111111111111111111101111111111
     73 dqand625 and 1111111111111111111111110111111111 1111111111111111111111111111111111  -> 1111111111111111111111110111111111
     74 dqand626 and 1111111111111111111111111011111111 1111111111111111111111111111111111  -> 1111111111111111111111111011111111
     75 dqand627 and 1111111111111111111111111101111111 1111111111111111111111111111111111  -> 1111111111111111111111111101111111
     76 dqand628 and 1111111111111111111111111110111111 1111111111111111111111111111111111  -> 1111111111111111111111111110111111
     77 dqand629 and 1111111111111111111111111111011111 1111111111111111111111111111111111  -> 1111111111111111111111111111011111
     78 dqand630 and 1111111111111111111111111111101111 1111111111111111111111111111111111  -> 1111111111111111111111111111101111
     79 dqand631 and 1111111111111111111111111111110111 1111111111111111111111111111111111  -> 1111111111111111111111111111110111
     80 dqand632 and 1111111111111111111111111111111011 1111111111111111111111111111111111  -> 1111111111111111111111111111111011
     81 dqand633 and 1111111111111111111111111111111101 1111111111111111111111111111111111  -> 1111111111111111111111111111111101
     82 dqand634 and 1111111111111111111111111111111110 1111111111111111111111111111111111  -> 1111111111111111111111111111111110
     83 
     84 dqand641 and 1111111111111111111111111111111111 0111111111111111111111111111111111  ->  111111111111111111111111111111111
     85 dqand642 and 1111111111111111111111111111111111 1011111111111111111111111111111111  -> 1011111111111111111111111111111111
     86 dqand643 and 1111111111111111111111111111111111 1101111111111111111111111111111111  -> 1101111111111111111111111111111111
     87 dqand644 and 1111111111111111111111111111111111 1110111111111111111111111111111111  -> 1110111111111111111111111111111111
     88 dqand645 and 1111111111111111111111111111111111 1111011111111111111111111111111111  -> 1111011111111111111111111111111111
     89 dqand646 and 1111111111111111111111111111111111 1111101111111111111111111111111111  -> 1111101111111111111111111111111111
     90 dqand647 and 1111111111111111111111111111111111 1111110111111111111111111111111111  -> 1111110111111111111111111111111111
     91 dqand648 and 1111111111111111111111111111111111 1111111011111111111111111111111111  -> 1111111011111111111111111111111111
     92 dqand649 and 1111111111111111111111111111111111 1111111101111111111111111111111111  -> 1111111101111111111111111111111111
     93 dqand650 and 1111111111111111111111111111111111 1111111110111111111111111111111111  -> 1111111110111111111111111111111111
     94 dqand651 and 1111111111111111111111111111111111 1111111111011111111111111111111111  -> 1111111111011111111111111111111111
     95 dqand652 and 1111111111111111111111111111111111 1111111111101111111111111111111111  -> 1111111111101111111111111111111111
     96 dqand653 and 1111111111111111111111111111111111 1111111111110111111111111111111111  -> 1111111111110111111111111111111111
     97 dqand654 and 1111111111111111111111111111111111 1111111111111011111111111111111111  -> 1111111111111011111111111111111111
     98 dqand655 and 1111111111111111111111111111111111 1111111111111101111111111111111111  -> 1111111111111101111111111111111111
     99 dqand656 and 1111111111111111111111111111111111 1111111111111110111111111111111111  -> 1111111111111110111111111111111111
    100 dqand657 and 1111111111111111111111111111111111 1111111111111111011111111111111111  -> 1111111111111111011111111111111111
    101 dqand658 and 1111111111111111111111111111111111 1111111111111111101111111111111111  -> 1111111111111111101111111111111111
    102 dqand659 and 1111111111111111111111111111111111 1111111111111111110111111111111111  -> 1111111111111111110111111111111111
    103 dqand660 and 1111111111111111111111111111111111 1111111111111111111011111111111111  -> 1111111111111111111011111111111111
    104 dqand661 and 1111111111111111111111111111111111 1111111111111111111101111111111111  -> 1111111111111111111101111111111111
    105 dqand662 and 1111111111111111111111111111111111 1111111111111111111110111111111111  -> 1111111111111111111110111111111111
    106 dqand663 and 1111111111111111111111111111111111 1111111111111111111111011111111111  -> 1111111111111111111111011111111111
    107 dqand664 and 1111111111111111111111111111111111 1111111111111111111111101111111111  -> 1111111111111111111111101111111111
    108 dqand665 and 1111111111111111111111111111111111 1111111111111111111111110111111111  -> 1111111111111111111111110111111111
    109 dqand666 and 1111111111111111111111111111111111 1111111111111111111111111011111111  -> 1111111111111111111111111011111111
    110 dqand667 and 1111111111111111111111111111111111 1111111111111111111111111101111111  -> 1111111111111111111111111101111111
    111 dqand668 and 1111111111111111111111111111111111 1111111111111111111111111110111111  -> 1111111111111111111111111110111111
    112 dqand669 and 1111111111111111111111111111111111 1111111111111111111111111111011111  -> 1111111111111111111111111111011111
    113 dqand670 and 1111111111111111111111111111111111 1111111111111111111111111111101111  -> 1111111111111111111111111111101111
    114 dqand671 and 1111111111111111111111111111111111 1111111111111111111111111111110111  -> 1111111111111111111111111111110111
    115 dqand672 and 1111111111111111111111111111111111 1111111111111111111111111111111011  -> 1111111111111111111111111111111011
    116 dqand673 and 1111111111111111111111111111111111 1111111111111111111111111111111101  -> 1111111111111111111111111111111101
    117 dqand674 and 1111111111111111111111111111111111 1111111111111111111111111111111110  -> 1111111111111111111111111111111110
    118 dqand675 and 0111111111111111111111111111111111 1111111111111111111111111111111110  ->  111111111111111111111111111111110
    119 dqand676 and 1111111111111111111111111111111111 1111111111111111111111111111111110  -> 1111111111111111111111111111111110
    120 
    121 dqand021 and 1111111111111111 1111111111111111  ->  1111111111111111
    122 dqand024 and 1111111111111111  111111111111111  ->   111111111111111
    123 dqand025 and 1111111111111111   11111111111111  ->    11111111111111
    124 dqand026 and 1111111111111111    1111111111111  ->     1111111111111
    125 dqand027 and 1111111111111111     111111111111  ->      111111111111
    126 dqand028 and 1111111111111111      11111111111  ->       11111111111
    127 dqand029 and 1111111111111111       1111111111  ->        1111111111
    128 dqand030 and 1111111111111111        111111111  ->         111111111
    129 dqand031 and 1111111111111111         11111111  ->          11111111
    130 dqand032 and 1111111111111111          1111111  ->           1111111
    131 dqand033 and 1111111111111111           111111  ->            111111
    132 dqand034 and 1111111111111111            11111  ->             11111
    133 dqand035 and 1111111111111111             1111  ->              1111
    134 dqand036 and 1111111111111111              111  ->               111
    135 dqand037 and 1111111111111111               11  ->                11
    136 dqand038 and 1111111111111111                1  ->                 1
    137 dqand039 and 1111111111111111                0  ->                 0
    138 
    139 dqand040 and 1111111111111111    1111111111111111 ->  1111111111111111
    140 dqand041 and  111111111111111    1111111111111111 ->   111111111111111
    141 dqand042 and  111111111111111    1111111111111111 ->   111111111111111
    142 dqand043 and   11111111111111    1111111111111111 ->    11111111111111
    143 dqand044 and    1111111111111    1111111111111111 ->     1111111111111
    144 dqand045 and     111111111111    1111111111111111 ->      111111111111
    145 dqand046 and      11111111111    1111111111111111 ->       11111111111
    146 dqand047 and       1111111111    1111111111111111 ->        1111111111
    147 dqand048 and        111111111    1111111111111111 ->         111111111
    148 dqand049 and         11111111    1111111111111111 ->          11111111
    149 dqand050 and          1111111    1111111111111111 ->           1111111
    150 dqand051 and           111111    1111111111111111 ->            111111
    151 dqand052 and            11111    1111111111111111 ->             11111
    152 dqand053 and             1111    1111111111111111 ->              1111
    153 dqand054 and              111    1111111111111111 ->               111
    154 dqand055 and               11    1111111111111111 ->                11
    155 dqand056 and                1    1111111111111111 ->                 1
    156 dqand057 and                0    1111111111111111 ->                 0
    157 
    158 dqand150 and 1111111111  1  ->  1
    159 dqand151 and  111111111  1  ->  1
    160 dqand152 and   11111111  1  ->  1
    161 dqand153 and    1111111  1  ->  1
    162 dqand154 and     111111  1  ->  1
    163 dqand155 and      11111  1  ->  1
    164 dqand156 and       1111  1  ->  1
    165 dqand157 and        111  1  ->  1
    166 dqand158 and         11  1  ->  1
    167 dqand159 and          1  1  ->  1
    168 
    169 dqand160 and 1111111111  0  ->  0
    170 dqand161 and  111111111  0  ->  0
    171 dqand162 and   11111111  0  ->  0
    172 dqand163 and    1111111  0  ->  0
    173 dqand164 and     111111  0  ->  0
    174 dqand165 and      11111  0  ->  0
    175 dqand166 and       1111  0  ->  0
    176 dqand167 and        111  0  ->  0
    177 dqand168 and         11  0  ->  0
    178 dqand169 and          1  0  ->  0
    179 
    180 dqand170 and 1  1111111111  ->  1
    181 dqand171 and 1   111111111  ->  1
    182 dqand172 and 1    11111111  ->  1
    183 dqand173 and 1     1111111  ->  1
    184 dqand174 and 1      111111  ->  1
    185 dqand175 and 1       11111  ->  1
    186 dqand176 and 1        1111  ->  1
    187 dqand177 and 1         111  ->  1
    188 dqand178 and 1          11  ->  1
    189 dqand179 and 1           1  ->  1
    190 
    191 dqand180 and 0  1111111111  ->  0
    192 dqand181 and 0   111111111  ->  0
    193 dqand182 and 0    11111111  ->  0
    194 dqand183 and 0     1111111  ->  0
    195 dqand184 and 0      111111  ->  0
    196 dqand185 and 0       11111  ->  0
    197 dqand186 and 0        1111  ->  0
    198 dqand187 and 0         111  ->  0
    199 dqand188 and 0          11  ->  0
    200 dqand189 and 0           1  ->  0
    201 
    202 dqand090 and 011111111  111111111  ->   11111111
    203 dqand091 and 101111111  111111111  ->  101111111
    204 dqand092 and 110111111  111111111  ->  110111111
    205 dqand093 and 111011111  111111111  ->  111011111
    206 dqand094 and 111101111  111111111  ->  111101111
    207 dqand095 and 111110111  111111111  ->  111110111
    208 dqand096 and 111111011  111111111  ->  111111011
    209 dqand097 and 111111101  111111111  ->  111111101
    210 dqand098 and 111111110  111111111  ->  111111110
    211 
    212 dqand100 and 111111111  011111111  ->   11111111
    213 dqand101 and 111111111  101111111  ->  101111111
    214 dqand102 and 111111111  110111111  ->  110111111
    215 dqand103 and 111111111  111011111  ->  111011111
    216 dqand104 and 111111111  111101111  ->  111101111
    217 dqand105 and 111111111  111110111  ->  111110111
    218 dqand106 and 111111111  111111011  ->  111111011
    219 dqand107 and 111111111  111111101  ->  111111101
    220 dqand108 and 111111111  111111110  ->  111111110
    221 
    222 -- non-0/1 should not be accepted, nor should signs
    223 dqand220 and 111111112  111111111  ->  NaN Invalid_operation
    224 dqand221 and 333333333  333333333  ->  NaN Invalid_operation
    225 dqand222 and 555555555  555555555  ->  NaN Invalid_operation
    226 dqand223 and 777777777  777777777  ->  NaN Invalid_operation
    227 dqand224 and 999999999  999999999  ->  NaN Invalid_operation
    228 dqand225 and 222222222  999999999  ->  NaN Invalid_operation
    229 dqand226 and 444444444  999999999  ->  NaN Invalid_operation
    230 dqand227 and 666666666  999999999  ->  NaN Invalid_operation
    231 dqand228 and 888888888  999999999  ->  NaN Invalid_operation
    232 dqand229 and 999999999  222222222  ->  NaN Invalid_operation
    233 dqand230 and 999999999  444444444  ->  NaN Invalid_operation
    234 dqand231 and 999999999  666666666  ->  NaN Invalid_operation
    235 dqand232 and 999999999  888888888  ->  NaN Invalid_operation
    236 -- a few randoms
    237 dqand240 and  567468689 -934981942 ->  NaN Invalid_operation
    238 dqand241 and  567367689  934981942 ->  NaN Invalid_operation
    239 dqand242 and -631917772 -706014634 ->  NaN Invalid_operation
    240 dqand243 and -756253257  138579234 ->  NaN Invalid_operation
    241 dqand244 and  835590149  567435400 ->  NaN Invalid_operation
    242 -- test MSD
    243 dqand250 and  2000000111000111000111000000000000 1000000111000111000111000000000000 ->  NaN Invalid_operation
    244 dqand251 and  7000000111000111000111000000000000 1000000111000111000111000000000000 ->  NaN Invalid_operation
    245 dqand252 and  8000000111000111000111000000000000 1000000111000111000111000000000000 ->  NaN Invalid_operation
    246 dqand253 and  9000000111000111000111000000000000 1000000111000111000111000000000000 ->  NaN Invalid_operation
    247 dqand254 and  2000000111000111000111000000000000 0000000111000111000111000000000000 ->  NaN Invalid_operation
    248 dqand255 and  7000000111000111000111000000000000 0000000111000111000111000000000000 ->  NaN Invalid_operation
    249 dqand256 and  8000000111000111000111000000000000 0000000111000111000111000000000000 ->  NaN Invalid_operation
    250 dqand257 and  9000000111000111000111000000000000 0000000111000111000111000000000000 ->  NaN Invalid_operation
    251 dqand258 and  1000000111000111000111000000000000 2000000111000111000111000000000000 ->  NaN Invalid_operation
    252 dqand259 and  1000000111000111000111000000000000 7000000111000111000111000000000000 ->  NaN Invalid_operation
    253 dqand260 and  1000000111000111000111000000000000 8000000111000111000111000000000000 ->  NaN Invalid_operation
    254 dqand261 and  1000000111000111000111000000000000 9000000111000111000111000000000000 ->  NaN Invalid_operation
    255 dqand262 and  0000000111000111000111000000000000 2000000111000111000111000000000000 ->  NaN Invalid_operation
    256 dqand263 and  0000000111000111000111000000000000 7000000111000111000111000000000000 ->  NaN Invalid_operation
    257 dqand264 and  0000000111000111000111000000000000 8000000111000111000111000000000000 ->  NaN Invalid_operation
    258 dqand265 and  0000000111000111000111000000000000 9000000111000111000111000000000000 ->  NaN Invalid_operation
    259 -- test MSD-1
    260 dqand270 and  0200000111000111000111001000000000 1000000111000111000111100000000010 ->  NaN Invalid_operation
    261 dqand271 and  0700000111000111000111000100000000 1000000111000111000111010000000100 ->  NaN Invalid_operation
    262 dqand272 and  0800000111000111000111000010000000 1000000111000111000111001000001000 ->  NaN Invalid_operation
    263 dqand273 and  0900000111000111000111000001000000 1000000111000111000111000100010000 ->  NaN Invalid_operation
    264 dqand274 and  1000000111000111000111000000100000 0200000111000111000111000010100000 ->  NaN Invalid_operation
    265 dqand275 and  1000000111000111000111000000010000 0700000111000111000111000001000000 ->  NaN Invalid_operation
    266 dqand276 and  1000000111000111000111000000001000 0800000111000111000111000010100000 ->  NaN Invalid_operation
    267 dqand277 and  1000000111000111000111000000000100 0900000111000111000111000000010000 ->  NaN Invalid_operation
    268 -- test LSD
    269 dqand280 and  0010000111000111000111000000000002 1000000111000111000111000100000001 ->  NaN Invalid_operation
    270 dqand281 and  0001000111000111000111000000000007 1000000111000111000111001000000011 ->  NaN Invalid_operation
    271 dqand282 and  0000000111000111000111100000000008 1000000111000111000111010000000001 ->  NaN Invalid_operation
    272 dqand283 and  0000000111000111000111010000000009 1000000111000111000111100000000001 ->  NaN Invalid_operation
    273 dqand284 and  1000000111000111000111001000000000 0001000111000111000111000000000002 ->  NaN Invalid_operation
    274 dqand285 and  1000000111000111000111000100000000 0010000111000111000111000000000007 ->  NaN Invalid_operation
    275 dqand286 and  1000000111000111000111000010000000 0100000111000111000111000000000008 ->  NaN Invalid_operation
    276 dqand287 and  1000000111000111000111000001000000 1000000111000111000111000000000009 ->  NaN Invalid_operation
    277 -- test Middie
    278 dqand288 and  0010000111000111000111000020000000 1000000111000111000111001000000000 ->  NaN Invalid_operation
    279 dqand289 and  0001000111000111000111000070000001 1000000111000111000111000100000000 ->  NaN Invalid_operation
    280 dqand290 and  0000000111000111000111100080000010 1000000111000111000111000010000000 ->  NaN Invalid_operation
    281 dqand291 and  0000000111000111000111010090000100 1000000111000111000111000001000000 ->  NaN Invalid_operation
    282 dqand292 and  1000000111000111000111001000001000 0000000111000111000111000020100000 ->  NaN Invalid_operation
    283 dqand293 and  1000000111000111000111000100010000 0000000111000111000111000070010000 ->  NaN Invalid_operation
    284 dqand294 and  1000000111000111000111000010100000 0000000111000111000111000080001000 ->  NaN Invalid_operation
    285 dqand295 and  1000000111000111000111000001000000 0000000111000111000111000090000100 ->  NaN Invalid_operation
    286 -- signs
    287 dqand296 and -1000000111000111000111000001000000 -0000001110001110001110010000000100 ->  NaN Invalid_operation
    288 dqand297 and -1000000111000111000111000001000000  0000001110001110001110000010000100 ->  NaN Invalid_operation
    289 dqand298 and  1000000111000111000111000001000000 -0000001110001110001110001000000100 ->  NaN Invalid_operation
    290 dqand299 and  1000000111000111000111000001000000  0000001110001110001110000011000100 ->  110000110000110000001000000
    291 
    292 -- Nmax, Nmin, Ntiny-like
    293 dqand331 and  2   9.99999999E+999     -> NaN Invalid_operation
    294 dqand332 and  3   1E-999              -> NaN Invalid_operation
    295 dqand333 and  4   1.00000000E-999     -> NaN Invalid_operation
    296 dqand334 and  5   1E-900              -> NaN Invalid_operation
    297 dqand335 and  6   -1E-900             -> NaN Invalid_operation
    298 dqand336 and  7   -1.00000000E-999    -> NaN Invalid_operation
    299 dqand337 and  8   -1E-999             -> NaN Invalid_operation
    300 dqand338 and  9   -9.99999999E+999    -> NaN Invalid_operation
    301 dqand341 and  9.99999999E+999     -18 -> NaN Invalid_operation
    302 dqand342 and  1E-999               01 -> NaN Invalid_operation
    303 dqand343 and  1.00000000E-999     -18 -> NaN Invalid_operation
    304 dqand344 and  1E-900               18 -> NaN Invalid_operation
    305 dqand345 and  -1E-900             -10 -> NaN Invalid_operation
    306 dqand346 and  -1.00000000E-999     18 -> NaN Invalid_operation
    307 dqand347 and  -1E-999              10 -> NaN Invalid_operation
    308 dqand348 and  -9.99999999E+999    -18 -> NaN Invalid_operation
    309 
    310 -- A few other non-integers
    311 dqand361 and  1.0                  1  -> NaN Invalid_operation
    312 dqand362 and  1E+1                 1  -> NaN Invalid_operation
    313 dqand363 and  0.0                  1  -> NaN Invalid_operation
    314 dqand364 and  0E+1                 1  -> NaN Invalid_operation
    315 dqand365 and  9.9                  1  -> NaN Invalid_operation
    316 dqand366 and  9E+1                 1  -> NaN Invalid_operation
    317 dqand371 and  0 1.0                   -> NaN Invalid_operation
    318 dqand372 and  0 1E+1                  -> NaN Invalid_operation
    319 dqand373 and  0 0.0                   -> NaN Invalid_operation
    320 dqand374 and  0 0E+1                  -> NaN Invalid_operation
    321 dqand375 and  0 9.9                   -> NaN Invalid_operation
    322 dqand376 and  0 9E+1                  -> NaN Invalid_operation
    323 
    324 -- All Specials are in error
    325 dqand780 and -Inf  -Inf   -> NaN Invalid_operation
    326 dqand781 and -Inf  -1000  -> NaN Invalid_operation
    327 dqand782 and -Inf  -1     -> NaN Invalid_operation
    328 dqand783 and -Inf  -0     -> NaN Invalid_operation
    329 dqand784 and -Inf   0     -> NaN Invalid_operation
    330 dqand785 and -Inf   1     -> NaN Invalid_operation
    331 dqand786 and -Inf   1000  -> NaN Invalid_operation
    332 dqand787 and -1000 -Inf   -> NaN Invalid_operation
    333 dqand788 and -Inf  -Inf   -> NaN Invalid_operation
    334 dqand789 and -1    -Inf   -> NaN Invalid_operation
    335 dqand790 and -0    -Inf   -> NaN Invalid_operation
    336 dqand791 and  0    -Inf   -> NaN Invalid_operation
    337 dqand792 and  1    -Inf   -> NaN Invalid_operation
    338 dqand793 and  1000 -Inf   -> NaN Invalid_operation
    339 dqand794 and  Inf  -Inf   -> NaN Invalid_operation
    340 
    341 dqand800 and  Inf  -Inf   -> NaN Invalid_operation
    342 dqand801 and  Inf  -1000  -> NaN Invalid_operation
    343 dqand802 and  Inf  -1     -> NaN Invalid_operation
    344 dqand803 and  Inf  -0     -> NaN Invalid_operation
    345 dqand804 and  Inf   0     -> NaN Invalid_operation
    346 dqand805 and  Inf   1     -> NaN Invalid_operation
    347 dqand806 and  Inf   1000  -> NaN Invalid_operation
    348 dqand807 and  Inf   Inf   -> NaN Invalid_operation
    349 dqand808 and -1000  Inf   -> NaN Invalid_operation
    350 dqand809 and -Inf   Inf   -> NaN Invalid_operation
    351 dqand810 and -1     Inf   -> NaN Invalid_operation
    352 dqand811 and -0     Inf   -> NaN Invalid_operation
    353 dqand812 and  0     Inf   -> NaN Invalid_operation
    354 dqand813 and  1     Inf   -> NaN Invalid_operation
    355 dqand814 and  1000  Inf   -> NaN Invalid_operation
    356 dqand815 and  Inf   Inf   -> NaN Invalid_operation
    357 
    358 dqand821 and  NaN -Inf    -> NaN Invalid_operation
    359 dqand822 and  NaN -1000   -> NaN Invalid_operation
    360 dqand823 and  NaN -1      -> NaN Invalid_operation
    361 dqand824 and  NaN -0      -> NaN Invalid_operation
    362 dqand825 and  NaN  0      -> NaN Invalid_operation
    363 dqand826 and  NaN  1      -> NaN Invalid_operation
    364 dqand827 and  NaN  1000   -> NaN Invalid_operation
    365 dqand828 and  NaN  Inf    -> NaN Invalid_operation
    366 dqand829 and  NaN  NaN    -> NaN Invalid_operation
    367 dqand830 and -Inf  NaN    -> NaN Invalid_operation
    368 dqand831 and -1000 NaN    -> NaN Invalid_operation
    369 dqand832 and -1    NaN    -> NaN Invalid_operation
    370 dqand833 and -0    NaN    -> NaN Invalid_operation
    371 dqand834 and  0    NaN    -> NaN Invalid_operation
    372 dqand835 and  1    NaN    -> NaN Invalid_operation
    373 dqand836 and  1000 NaN    -> NaN Invalid_operation
    374 dqand837 and  Inf  NaN    -> NaN Invalid_operation
    375 
    376 dqand841 and  sNaN -Inf   ->  NaN  Invalid_operation
    377 dqand842 and  sNaN -1000  ->  NaN  Invalid_operation
    378 dqand843 and  sNaN -1     ->  NaN  Invalid_operation
    379 dqand844 and  sNaN -0     ->  NaN  Invalid_operation
    380 dqand845 and  sNaN  0     ->  NaN  Invalid_operation
    381 dqand846 and  sNaN  1     ->  NaN  Invalid_operation
    382 dqand847 and  sNaN  1000  ->  NaN  Invalid_operation
    383 dqand848 and  sNaN  NaN   ->  NaN  Invalid_operation
    384 dqand849 and  sNaN sNaN   ->  NaN  Invalid_operation
    385 dqand850 and  NaN  sNaN   ->  NaN  Invalid_operation
    386 dqand851 and -Inf  sNaN   ->  NaN  Invalid_operation
    387 dqand852 and -1000 sNaN   ->  NaN  Invalid_operation
    388 dqand853 and -1    sNaN   ->  NaN  Invalid_operation
    389 dqand854 and -0    sNaN   ->  NaN  Invalid_operation
    390 dqand855 and  0    sNaN   ->  NaN  Invalid_operation
    391 dqand856 and  1    sNaN   ->  NaN  Invalid_operation
    392 dqand857 and  1000 sNaN   ->  NaN  Invalid_operation
    393 dqand858 and  Inf  sNaN   ->  NaN  Invalid_operation
    394 dqand859 and  NaN  sNaN   ->  NaN  Invalid_operation
    395 
    396 -- propagating NaNs
    397 dqand861 and  NaN1   -Inf    -> NaN Invalid_operation
    398 dqand862 and +NaN2   -1000   -> NaN Invalid_operation
    399 dqand863 and  NaN3    1000   -> NaN Invalid_operation
    400 dqand864 and  NaN4    Inf    -> NaN Invalid_operation
    401 dqand865 and  NaN5   +NaN6   -> NaN Invalid_operation
    402 dqand866 and -Inf     NaN7   -> NaN Invalid_operation
    403 dqand867 and -1000    NaN8   -> NaN Invalid_operation
    404 dqand868 and  1000    NaN9   -> NaN Invalid_operation
    405 dqand869 and  Inf    +NaN10  -> NaN Invalid_operation
    406 dqand871 and  sNaN11  -Inf   -> NaN Invalid_operation
    407 dqand872 and  sNaN12  -1000  -> NaN Invalid_operation
    408 dqand873 and  sNaN13   1000  -> NaN Invalid_operation
    409 dqand874 and  sNaN14   NaN17 -> NaN Invalid_operation
    410 dqand875 and  sNaN15  sNaN18 -> NaN Invalid_operation
    411 dqand876 and  NaN16   sNaN19 -> NaN Invalid_operation
    412 dqand877 and -Inf    +sNaN20 -> NaN Invalid_operation
    413 dqand878 and -1000    sNaN21 -> NaN Invalid_operation
    414 dqand879 and  1000    sNaN22 -> NaN Invalid_operation
    415 dqand880 and  Inf     sNaN23 -> NaN Invalid_operation
    416 dqand881 and +NaN25  +sNaN24 -> NaN Invalid_operation
    417 dqand882 and -NaN26    NaN28 -> NaN Invalid_operation
    418 dqand883 and -sNaN27  sNaN29 -> NaN Invalid_operation
    419 dqand884 and  1000    -NaN30 -> NaN Invalid_operation
    420 dqand885 and  1000   -sNaN31 -> NaN Invalid_operation
    421