l4/pkg/python/contrib/Lib/test/decimaltestdata/ddRemainder.decTest

   1 ------------------------------------------------------------------------\r
   2 -- ddRemainder.decTest -- decDouble remainder                         --\r
   3 -- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --\r
   4 ------------------------------------------------------------------------\r
   5 -- Please see the document "General Decimal Arithmetic Testcases"     --\r
   6 -- at http://www2.hursley.ibm.com/decimal for the description of      --\r
   7 -- these testcases.                                                   --\r
   8 --                                                                    --\r
   9 -- These testcases are experimental ('beta' versions), and they       --\r
  10 -- may contain errors.  They are offered on an as-is basis.  In       --\r
  11 -- particular, achieving the same results as the tests here is not    --\r
  12 -- a guarantee that an implementation complies with any Standard      --\r
  13 -- or specification.  The tests are not exhaustive.                   --\r
  14 --                                                                    --\r
  15 -- Please send comments, suggestions, and corrections to the author:  --\r
  16 --   Mike Cowlishaw, IBM Fellow                                       --\r
  17 --   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --\r
  18 --   mfc@uk.ibm.com                                                   --\r
  19 ------------------------------------------------------------------------\r
  20 version: 2.58\r
  21 \r
  22 precision:   16\r
  23 maxExponent: 384\r
  24 minExponent: -383\r
  25 extended:    1\r
  26 clamp:       1\r
  27 rounding:    half_even\r
  28 \r
  29 -- sanity checks (as base, above)\r
  30 ddrem001 remainder  1     1    ->  0\r
  31 ddrem002 remainder  2     1    ->  0\r
  32 ddrem003 remainder  1     2    ->  1\r
  33 ddrem004 remainder  2     2    ->  0\r
  34 ddrem005 remainder  0     1    ->  0\r
  35 ddrem006 remainder  0     2    ->  0\r
  36 ddrem007 remainder  1     3    ->  1\r
  37 ddrem008 remainder  2     3    ->  2\r
  38 ddrem009 remainder  3     3    ->  0\r
  39 \r
  40 ddrem010 remainder  2.4   1    ->  0.4\r
  41 ddrem011 remainder  2.4   -1   ->  0.4\r
  42 ddrem012 remainder  -2.4  1    ->  -0.4\r
  43 ddrem013 remainder  -2.4  -1   ->  -0.4\r
  44 ddrem014 remainder  2.40  1    ->  0.40\r
  45 ddrem015 remainder  2.400 1    ->  0.400\r
  46 ddrem016 remainder  2.4   2    ->  0.4\r
  47 ddrem017 remainder  2.400 2    ->  0.400\r
  48 ddrem018 remainder  2.    2    ->  0\r
  49 ddrem019 remainder  20    20   ->  0\r
  50 \r
  51 ddrem020 remainder  187   187    ->  0\r
  52 ddrem021 remainder  5     2      ->  1\r
  53 ddrem022 remainder  5     2.0    ->  1.0\r
  54 ddrem023 remainder  5     2.000  ->  1.000\r
  55 ddrem024 remainder  5     0.200  ->  0.000\r
  56 ddrem025 remainder  5     0.200  ->  0.000\r
  57 \r
  58 ddrem030 remainder  1     2      ->  1\r
  59 ddrem031 remainder  1     4      ->  1\r
  60 ddrem032 remainder  1     8      ->  1\r
  61 \r
  62 ddrem033 remainder  1     16     ->  1\r
  63 ddrem034 remainder  1     32     ->  1\r
  64 ddrem035 remainder  1     64     ->  1\r
  65 ddrem040 remainder  1    -2      ->  1\r
  66 ddrem041 remainder  1    -4      ->  1\r
  67 ddrem042 remainder  1    -8      ->  1\r
  68 ddrem043 remainder  1    -16     ->  1\r
  69 ddrem044 remainder  1    -32     ->  1\r
  70 ddrem045 remainder  1    -64     ->  1\r
  71 ddrem050 remainder -1     2      ->  -1\r
  72 ddrem051 remainder -1     4      ->  -1\r
  73 ddrem052 remainder -1     8      ->  -1\r
  74 ddrem053 remainder -1     16     ->  -1\r
  75 ddrem054 remainder -1     32     ->  -1\r
  76 ddrem055 remainder -1     64     ->  -1\r
  77 ddrem060 remainder -1    -2      ->  -1\r
  78 ddrem061 remainder -1    -4      ->  -1\r
  79 ddrem062 remainder -1    -8      ->  -1\r
  80 ddrem063 remainder -1    -16     ->  -1\r
  81 ddrem064 remainder -1    -32     ->  -1\r
  82 ddrem065 remainder -1    -64     ->  -1\r
  83 \r
  84 ddrem066 remainder  999999999     1  -> 0\r
  85 ddrem067 remainder  999999999.4   1  -> 0.4\r
  86 ddrem068 remainder  999999999.5   1  -> 0.5\r
  87 ddrem069 remainder  999999999.9   1  -> 0.9\r
  88 ddrem070 remainder  999999999.999 1  -> 0.999\r
  89 ddrem071 remainder  999999.999999 1  -> 0.999999\r
  90 ddrem072 remainder  9             1  -> 0\r
  91 ddrem073 remainder  9999999999999999 1  -> 0\r
  92 ddrem074 remainder  9999999999999999 2  -> 1\r
  93 ddrem075 remainder  9999999999999999 3  -> 0\r
  94 ddrem076 remainder  9999999999999999 4  -> 3\r
  95 \r
  96 ddrem080 remainder  0.            1  -> 0\r
  97 ddrem081 remainder  .0            1  -> 0.0\r
  98 ddrem082 remainder  0.00          1  -> 0.00\r
  99 ddrem083 remainder  0.00E+9       1  -> 0\r
 100 ddrem084 remainder  0.00E+3       1  -> 0\r
 101 ddrem085 remainder  0.00E+2       1  -> 0\r
 102 ddrem086 remainder  0.00E+1       1  -> 0.0\r
 103 ddrem087 remainder  0.00E+0       1  -> 0.00\r
 104 ddrem088 remainder  0.00E-0       1  -> 0.00\r
 105 ddrem089 remainder  0.00E-1       1  -> 0.000\r
 106 ddrem090 remainder  0.00E-2       1  -> 0.0000\r
 107 ddrem091 remainder  0.00E-3       1  -> 0.00000\r
 108 ddrem092 remainder  0.00E-4       1  -> 0.000000\r
 109 ddrem093 remainder  0.00E-5       1  -> 0E-7\r
 110 ddrem094 remainder  0.00E-6       1  -> 0E-8\r
 111 ddrem095 remainder  0.0000E-50    1  -> 0E-54\r
 112 \r
 113 -- Various flavours of remainder by 0\r
 114 ddrem101 remainder  0       0   -> NaN Division_undefined\r
 115 ddrem102 remainder  0      -0   -> NaN Division_undefined\r
 116 ddrem103 remainder -0       0   -> NaN Division_undefined\r
 117 ddrem104 remainder -0      -0   -> NaN Division_undefined\r
 118 ddrem105 remainder  0.0E5   0   -> NaN Division_undefined\r
 119 ddrem106 remainder  0.000   0   -> NaN Division_undefined\r
 120 -- [Some think this next group should be Division_by_zero exception, but\r
 121 -- IEEE 854 is explicit that it is Invalid operation .. for\r
 122 -- remainder-near, anyway]\r
 123 ddrem107 remainder  0.0001  0   -> NaN Invalid_operation\r
 124 ddrem108 remainder  0.01    0   -> NaN Invalid_operation\r
 125 ddrem109 remainder  0.1     0   -> NaN Invalid_operation\r
 126 ddrem110 remainder  1       0   -> NaN Invalid_operation\r
 127 ddrem111 remainder  1       0.0 -> NaN Invalid_operation\r
 128 ddrem112 remainder 10       0.0 -> NaN Invalid_operation\r
 129 ddrem113 remainder 1E+100   0.0 -> NaN Invalid_operation\r
 130 ddrem114 remainder 1E+380   0   -> NaN Invalid_operation\r
 131 ddrem115 remainder  0.0001 -0   -> NaN Invalid_operation\r
 132 ddrem116 remainder  0.01   -0   -> NaN Invalid_operation\r
 133 ddrem119 remainder  0.1    -0   -> NaN Invalid_operation\r
 134 ddrem120 remainder  1      -0   -> NaN Invalid_operation\r
 135 ddrem121 remainder  1      -0.0 -> NaN Invalid_operation\r
 136 ddrem122 remainder 10      -0.0 -> NaN Invalid_operation\r
 137 ddrem123 remainder 1E+100  -0.0 -> NaN Invalid_operation\r
 138 ddrem124 remainder 1E+384  -0   -> NaN Invalid_operation\r
 139 -- and zeros on left\r
 140 ddrem130 remainder  0      1   ->  0\r
 141 ddrem131 remainder  0     -1   ->  0\r
 142 ddrem132 remainder  0.0    1   ->  0.0\r
 143 ddrem133 remainder  0.0   -1   ->  0.0\r
 144 ddrem134 remainder -0      1   -> -0\r
 145 ddrem135 remainder -0     -1   -> -0\r
 146 ddrem136 remainder -0.0    1   -> -0.0\r
 147 ddrem137 remainder -0.0   -1   -> -0.0\r
 148 \r
 149 -- 0.5ers\r
 150 ddrem143 remainder   0.5  2     ->  0.5\r
 151 ddrem144 remainder   0.5  2.1   ->  0.5\r
 152 ddrem145 remainder   0.5  2.01  ->  0.50\r
 153 ddrem146 remainder   0.5  2.001 ->  0.500\r
 154 ddrem147 remainder   0.50 2     ->  0.50\r
 155 ddrem148 remainder   0.50 2.01  ->  0.50\r
 156 ddrem149 remainder   0.50 2.001 ->  0.500\r
 157 \r
 158 -- steadies\r
 159 ddrem150 remainder  1  1   -> 0\r
 160 ddrem151 remainder  1  2   -> 1\r
 161 ddrem152 remainder  1  3   -> 1\r
 162 ddrem153 remainder  1  4   -> 1\r
 163 ddrem154 remainder  1  5   -> 1\r
 164 ddrem155 remainder  1  6   -> 1\r
 165 ddrem156 remainder  1  7   -> 1\r
 166 ddrem157 remainder  1  8   -> 1\r
 167 ddrem158 remainder  1  9   -> 1\r
 168 ddrem159 remainder  1  10  -> 1\r
 169 ddrem160 remainder  1  1   -> 0\r
 170 ddrem161 remainder  2  1   -> 0\r
 171 ddrem162 remainder  3  1   -> 0\r
 172 ddrem163 remainder  4  1   -> 0\r
 173 ddrem164 remainder  5  1   -> 0\r
 174 ddrem165 remainder  6  1   -> 0\r
 175 ddrem166 remainder  7  1   -> 0\r
 176 ddrem167 remainder  8  1   -> 0\r
 177 ddrem168 remainder  9  1   -> 0\r
 178 ddrem169 remainder  10 1   -> 0\r
 179 \r
 180 -- some differences from remainderNear\r
 181 ddrem171 remainder   0.4  1.020 ->  0.400\r
 182 ddrem172 remainder   0.50 1.020 ->  0.500\r
 183 ddrem173 remainder   0.51 1.020 ->  0.510\r
 184 ddrem174 remainder   0.52 1.020 ->  0.520\r
 185 ddrem175 remainder   0.6  1.020 ->  0.600\r
 186 \r
 187 -- More flavours of remainder by 0\r
 188 ddrem201 remainder  0      0   -> NaN Division_undefined\r
 189 ddrem202 remainder  0.0E5  0   -> NaN Division_undefined\r
 190 ddrem203 remainder  0.000  0   -> NaN Division_undefined\r
 191 ddrem204 remainder  0.0001 0   -> NaN Invalid_operation\r
 192 ddrem205 remainder  0.01   0   -> NaN Invalid_operation\r
 193 ddrem206 remainder  0.1    0   -> NaN Invalid_operation\r
 194 ddrem207 remainder  1      0   -> NaN Invalid_operation\r
 195 ddrem208 remainder  1      0.0 -> NaN Invalid_operation\r
 196 ddrem209 remainder 10      0.0 -> NaN Invalid_operation\r
 197 ddrem210 remainder 1E+100  0.0 -> NaN Invalid_operation\r
 198 ddrem211 remainder 1E+380  0   -> NaN Invalid_operation\r
 199 \r
 200 -- some differences from remainderNear\r
 201 ddrem231 remainder  -0.4  1.020 -> -0.400\r
 202 ddrem232 remainder  -0.50 1.020 -> -0.500\r
 203 ddrem233 remainder  -0.51 1.020 -> -0.510\r
 204 ddrem234 remainder  -0.52 1.020 -> -0.520\r
 205 ddrem235 remainder  -0.6  1.020 -> -0.600\r
 206 \r
 207 -- high Xs\r
 208 ddrem240 remainder  1E+2  1.00  ->  0.00\r
 209 \r
 210 -- ddrem3xx are from DiagBigDecimal\r
 211 ddrem301 remainder   1    3     ->  1\r
 212 ddrem302 remainder   5    5     ->  0\r
 213 ddrem303 remainder   13   10    ->  3\r
 214 ddrem304 remainder   13   50    ->  13\r
 215 ddrem305 remainder   13   100   ->  13\r
 216 ddrem306 remainder   13   1000  ->  13\r
 217 ddrem307 remainder   .13    1   ->  0.13\r
 218 ddrem308 remainder   0.133  1   ->  0.133\r
 219 ddrem309 remainder   0.1033 1   ->  0.1033\r
 220 ddrem310 remainder   1.033  1   ->  0.033\r
 221 ddrem311 remainder   10.33  1   ->  0.33\r
 222 ddrem312 remainder   10.33 10   ->  0.33\r
 223 ddrem313 remainder   103.3  1   ->  0.3\r
 224 ddrem314 remainder   133   10   ->  3\r
 225 ddrem315 remainder   1033  10   ->  3\r
 226 ddrem316 remainder   1033  50   ->  33\r
 227 ddrem317 remainder   101.0  3   ->  2.0\r
 228 ddrem318 remainder   102.0  3   ->  0.0\r
 229 ddrem319 remainder   103.0  3   ->  1.0\r
 230 ddrem320 remainder   2.40   1   ->  0.40\r
 231 ddrem321 remainder   2.400  1   ->  0.400\r
 232 ddrem322 remainder   2.4    1   ->  0.4\r
 233 ddrem323 remainder   2.4    2   ->  0.4\r
 234 ddrem324 remainder   2.400  2   ->  0.400\r
 235 ddrem325 remainder   1   0.3    ->  0.1\r
 236 ddrem326 remainder   1   0.30   ->  0.10\r
 237 ddrem327 remainder   1   0.300  ->  0.100\r
 238 ddrem328 remainder   1   0.3000 ->  0.1000\r
 239 ddrem329 remainder   1.0    0.3 ->  0.1\r
 240 ddrem330 remainder   1.00   0.3 ->  0.10\r
 241 ddrem331 remainder   1.000  0.3 ->  0.100\r
 242 ddrem332 remainder   1.0000 0.3 ->  0.1000\r
 243 ddrem333 remainder   0.5  2     ->  0.5\r
 244 ddrem334 remainder   0.5  2.1   ->  0.5\r
 245 ddrem335 remainder   0.5  2.01  ->  0.50\r
 246 ddrem336 remainder   0.5  2.001 ->  0.500\r
 247 ddrem337 remainder   0.50 2     ->  0.50\r
 248 ddrem338 remainder   0.50 2.01  ->  0.50\r
 249 ddrem339 remainder   0.50 2.001 ->  0.500\r
 250 \r
 251 ddrem340 remainder   0.5   0.5000001    ->  0.5000000\r
 252 ddrem341 remainder   0.5   0.50000001    ->  0.50000000\r
 253 ddrem342 remainder   0.5   0.500000001    ->  0.500000000\r
 254 ddrem343 remainder   0.5   0.5000000001    ->  0.5000000000\r
 255 ddrem344 remainder   0.5   0.50000000001    ->  0.50000000000\r
 256 ddrem345 remainder   0.5   0.4999999    ->  1E-7\r
 257 ddrem346 remainder   0.5   0.49999999    ->  1E-8\r
 258 ddrem347 remainder   0.5   0.499999999    ->  1E-9\r
 259 ddrem348 remainder   0.5   0.4999999999    ->  1E-10\r
 260 ddrem349 remainder   0.5   0.49999999999    ->  1E-11\r
 261 ddrem350 remainder   0.5   0.499999999999    ->  1E-12\r
 262 \r
 263 ddrem351 remainder   0.03  7  ->  0.03\r
 264 ddrem352 remainder   5   2    ->  1\r
 265 ddrem353 remainder   4.1   2    ->  0.1\r
 266 ddrem354 remainder   4.01   2    ->  0.01\r
 267 ddrem355 remainder   4.001   2    ->  0.001\r
 268 ddrem356 remainder   4.0001   2    ->  0.0001\r
 269 ddrem357 remainder   4.00001   2    ->  0.00001\r
 270 ddrem358 remainder   4.000001   2    ->  0.000001\r
 271 ddrem359 remainder   4.0000001   2    ->  1E-7\r
 272 \r
 273 ddrem360 remainder   1.2   0.7345 ->  0.4655\r
 274 ddrem361 remainder   0.8   12     ->  0.8\r
 275 ddrem362 remainder   0.8   0.2    ->  0.0\r
 276 ddrem363 remainder   0.8   0.3    ->  0.2\r
 277 ddrem364 remainder   0.800   12   ->  0.800\r
 278 ddrem365 remainder   0.800   1.7  ->  0.800\r
 279 ddrem366 remainder   2.400   2    ->  0.400\r
 280 \r
 281 ddrem371 remainder   2.400  2        ->  0.400\r
 282 \r
 283 ddrem381 remainder 12345  1         ->  0\r
 284 ddrem382 remainder 12345  1.0001    ->  0.7657\r
 285 ddrem383 remainder 12345  1.001     ->  0.668\r
 286 ddrem384 remainder 12345  1.01      ->  0.78\r
 287 ddrem385 remainder 12345  1.1       ->  0.8\r
 288 ddrem386 remainder 12355  4         ->  3\r
 289 ddrem387 remainder 12345  4         ->  1\r
 290 ddrem388 remainder 12355  4.0001    ->  2.6912\r
 291 ddrem389 remainder 12345  4.0001    ->  0.6914\r
 292 ddrem390 remainder 12345  4.9       ->  1.9\r
 293 ddrem391 remainder 12345  4.99      ->  4.73\r
 294 ddrem392 remainder 12345  4.999     ->  2.469\r
 295 ddrem393 remainder 12345  4.9999    ->  0.2469\r
 296 ddrem394 remainder 12345  5         ->  0\r
 297 ddrem395 remainder 12345  5.0001    ->  4.7532\r
 298 ddrem396 remainder 12345  5.001     ->  2.532\r
 299 ddrem397 remainder 12345  5.01      ->  0.36\r
 300 ddrem398 remainder 12345  5.1       ->  3.0\r
 301 \r
 302 -- the nasty division-by-1 cases\r
 303 ddrem401 remainder   0.5         1   ->  0.5\r
 304 ddrem402 remainder   0.55        1   ->  0.55\r
 305 ddrem403 remainder   0.555       1   ->  0.555\r
 306 ddrem404 remainder   0.5555      1   ->  0.5555\r
 307 ddrem405 remainder   0.55555     1   ->  0.55555\r
 308 ddrem406 remainder   0.555555    1   ->  0.555555\r
 309 ddrem407 remainder   0.5555555   1   ->  0.5555555\r
 310 ddrem408 remainder   0.55555555  1   ->  0.55555555\r
 311 ddrem409 remainder   0.555555555 1   ->  0.555555555\r
 312 \r
 313 -- folddowns\r
 314 ddrem421 remainder   1E+384       1  ->   NaN Division_impossible\r
 315 ddrem422 remainder   1E+384  1E+383  ->   0E+369 Clamped\r
 316 ddrem423 remainder   1E+384  2E+383  ->   0E+369 Clamped\r
 317 ddrem424 remainder   1E+384  3E+383  ->   1.00000000000000E+383 Clamped\r
 318 ddrem425 remainder   1E+384  4E+383  ->   2.00000000000000E+383 Clamped\r
 319 ddrem426 remainder   1E+384  5E+383  ->   0E+369 Clamped\r
 320 ddrem427 remainder   1E+384  6E+383  ->   4.00000000000000E+383 Clamped\r
 321 ddrem428 remainder   1E+384  7E+383  ->   3.00000000000000E+383 Clamped\r
 322 ddrem429 remainder   1E+384  8E+383  ->   2.00000000000000E+383 Clamped\r
 323 ddrem430 remainder   1E+384  9E+383  ->   1.00000000000000E+383 Clamped\r
 324 -- tinies\r
 325 ddrem431 remainder   1E-397  1E-398  ->   0E-398\r
 326 ddrem432 remainder   1E-397  2E-398  ->   0E-398\r
 327 ddrem433 remainder   1E-397  3E-398  ->   1E-398 Subnormal\r
 328 ddrem434 remainder   1E-397  4E-398  ->   2E-398 Subnormal\r
 329 ddrem435 remainder   1E-397  5E-398  ->   0E-398\r
 330 ddrem436 remainder   1E-397  6E-398  ->   4E-398 Subnormal\r
 331 ddrem437 remainder   1E-397  7E-398  ->   3E-398 Subnormal\r
 332 ddrem438 remainder   1E-397  8E-398  ->   2E-398 Subnormal\r
 333 ddrem439 remainder   1E-397  9E-398  ->   1E-398 Subnormal\r
 334 ddrem440 remainder   1E-397 10E-398  ->   0E-398\r
 335 ddrem441 remainder   1E-397 11E-398  -> 1.0E-397 Subnormal\r
 336 ddrem442 remainder 100E-397 11E-398  -> 1.0E-397 Subnormal\r
 337 ddrem443 remainder 100E-397 20E-398  ->   0E-398\r
 338 ddrem444 remainder 100E-397 21E-398  -> 1.3E-397 Subnormal\r
 339 ddrem445 remainder 100E-397 30E-398  -> 1.0E-397 Subnormal\r
 340 \r
 341 -- zero signs\r
 342 ddrem650 remainder  1  1 ->  0\r
 343 ddrem651 remainder -1  1 -> -0\r
 344 ddrem652 remainder  1 -1 ->  0\r
 345 ddrem653 remainder -1 -1 -> -0\r
 346 ddrem654 remainder  0  1 ->  0\r
 347 ddrem655 remainder -0  1 -> -0\r
 348 ddrem656 remainder  0 -1 ->  0\r
 349 ddrem657 remainder -0 -1 -> -0\r
 350 ddrem658 remainder  0.00  1  ->  0.00\r
 351 ddrem659 remainder -0.00  1  -> -0.00\r
 352 \r
 353 -- Specials\r
 354 ddrem680 remainder  Inf  -Inf   ->  NaN Invalid_operation\r
 355 ddrem681 remainder  Inf  -1000  ->  NaN Invalid_operation\r
 356 ddrem682 remainder  Inf  -1     ->  NaN Invalid_operation\r
 357 ddrem683 remainder  Inf   0     ->  NaN Invalid_operation\r
 358 ddrem684 remainder  Inf  -0     ->  NaN Invalid_operation\r
 359 ddrem685 remainder  Inf   1     ->  NaN Invalid_operation\r
 360 ddrem686 remainder  Inf   1000  ->  NaN Invalid_operation\r
 361 ddrem687 remainder  Inf   Inf   ->  NaN Invalid_operation\r
 362 ddrem688 remainder -1000  Inf   -> -1000\r
 363 ddrem689 remainder -Inf   Inf   ->  NaN Invalid_operation\r
 364 ddrem691 remainder -1     Inf   -> -1\r
 365 ddrem692 remainder  0     Inf   ->  0\r
 366 ddrem693 remainder -0     Inf   -> -0\r
 367 ddrem694 remainder  1     Inf   ->  1\r
 368 ddrem695 remainder  1000  Inf   ->  1000\r
 369 ddrem696 remainder  Inf   Inf   ->  NaN Invalid_operation\r
 370 \r
 371 ddrem700 remainder -Inf  -Inf   ->  NaN Invalid_operation\r
 372 ddrem701 remainder -Inf  -1000  ->  NaN Invalid_operation\r
 373 ddrem702 remainder -Inf  -1     ->  NaN Invalid_operation\r
 374 ddrem703 remainder -Inf  -0     ->  NaN Invalid_operation\r
 375 ddrem704 remainder -Inf   0     ->  NaN Invalid_operation\r
 376 ddrem705 remainder -Inf   1     ->  NaN Invalid_operation\r
 377 ddrem706 remainder -Inf   1000  ->  NaN Invalid_operation\r
 378 ddrem707 remainder -Inf   Inf   ->  NaN Invalid_operation\r
 379 ddrem708 remainder -Inf  -Inf   ->  NaN Invalid_operation\r
 380 ddrem709 remainder -1000  Inf   -> -1000\r
 381 ddrem710 remainder -1    -Inf   -> -1\r
 382 ddrem711 remainder -0    -Inf   -> -0\r
 383 ddrem712 remainder  0    -Inf   ->  0\r
 384 ddrem713 remainder  1    -Inf   ->  1\r
 385 ddrem714 remainder  1000 -Inf   ->  1000\r
 386 ddrem715 remainder  Inf  -Inf   ->  NaN Invalid_operation\r
 387 \r
 388 ddrem721 remainder  NaN -Inf    ->  NaN\r
 389 ddrem722 remainder  NaN -1000   ->  NaN\r
 390 ddrem723 remainder  NaN -1      ->  NaN\r
 391 ddrem724 remainder  NaN -0      ->  NaN\r
 392 ddrem725 remainder -NaN  0      -> -NaN\r
 393 ddrem726 remainder  NaN  1      ->  NaN\r
 394 ddrem727 remainder  NaN  1000   ->  NaN\r
 395 ddrem728 remainder  NaN  Inf    ->  NaN\r
 396 ddrem729 remainder  NaN -NaN    ->  NaN\r
 397 ddrem730 remainder -Inf  NaN    ->  NaN\r
 398 ddrem731 remainder -1000 NaN    ->  NaN\r
 399 ddrem732 remainder -1    NaN    ->  NaN\r
 400 ddrem733 remainder -0   -NaN    -> -NaN\r
 401 ddrem734 remainder  0    NaN    ->  NaN\r
 402 ddrem735 remainder  1   -NaN    -> -NaN\r
 403 ddrem736 remainder  1000 NaN    ->  NaN\r
 404 ddrem737 remainder  Inf  NaN    ->  NaN\r
 405 \r
 406 ddrem741 remainder  sNaN -Inf   ->  NaN  Invalid_operation\r
 407 ddrem742 remainder  sNaN -1000  ->  NaN  Invalid_operation\r
 408 ddrem743 remainder -sNaN -1     -> -NaN  Invalid_operation\r
 409 ddrem744 remainder  sNaN -0     ->  NaN  Invalid_operation\r
 410 ddrem745 remainder  sNaN  0     ->  NaN  Invalid_operation\r
 411 ddrem746 remainder  sNaN  1     ->  NaN  Invalid_operation\r
 412 ddrem747 remainder  sNaN  1000  ->  NaN  Invalid_operation\r
 413 ddrem749 remainder  sNaN  NaN   ->  NaN  Invalid_operation\r
 414 ddrem750 remainder  sNaN sNaN   ->  NaN  Invalid_operation\r
 415 ddrem751 remainder  NaN  sNaN   ->  NaN  Invalid_operation\r
 416 ddrem752 remainder -Inf  sNaN   ->  NaN  Invalid_operation\r
 417 ddrem753 remainder -1000 sNaN   ->  NaN  Invalid_operation\r
 418 ddrem754 remainder -1    sNaN   ->  NaN  Invalid_operation\r
 419 ddrem755 remainder -0    sNaN   ->  NaN  Invalid_operation\r
 420 ddrem756 remainder  0    sNaN   ->  NaN  Invalid_operation\r
 421 ddrem757 remainder  1    sNaN   ->  NaN  Invalid_operation\r
 422 ddrem758 remainder  1000 sNaN   ->  NaN  Invalid_operation\r
 423 ddrem759 remainder  Inf -sNaN   -> -NaN  Invalid_operation\r
 424 \r
 425 -- propaging NaNs\r
 426 ddrem760 remainder  NaN1   NaN7   ->  NaN1\r
 427 ddrem761 remainder sNaN2   NaN8   ->  NaN2 Invalid_operation\r
 428 ddrem762 remainder  NaN3  sNaN9   ->  NaN9 Invalid_operation\r
 429 ddrem763 remainder sNaN4  sNaN10  ->  NaN4 Invalid_operation\r
 430 ddrem764 remainder    15   NaN11  ->  NaN11\r
 431 ddrem765 remainder  NaN6   NaN12  ->  NaN6\r
 432 ddrem766 remainder  Inf    NaN13  ->  NaN13\r
 433 ddrem767 remainder  NaN14  -Inf   ->  NaN14\r
 434 ddrem768 remainder    0    NaN15  ->  NaN15\r
 435 ddrem769 remainder  NaN16   -0    ->  NaN16\r
 436 \r
 437 -- edge cases of impossible\r
 438 ddrem770  remainder  1234567890123456  10    ->  6\r
 439 ddrem771  remainder  1234567890123456   1    ->  0\r
 440 ddrem772  remainder  1234567890123456   0.1  ->  NaN Division_impossible\r
 441 ddrem773  remainder  1234567890123456   0.01 ->  NaN Division_impossible\r
 442 \r
 443 -- long operand checks\r
 444 ddrem801 remainder 12345678000 100 -> 0\r
 445 ddrem802 remainder 1 12345678000   -> 1\r
 446 ddrem803 remainder 1234567800  10  -> 0\r
 447 ddrem804 remainder 1 1234567800    -> 1\r
 448 ddrem805 remainder 1234567890  10  -> 0\r
 449 ddrem806 remainder 1 1234567890    -> 1\r
 450 ddrem807 remainder 1234567891  10  -> 1\r
 451 ddrem808 remainder 1 1234567891    -> 1\r
 452 ddrem809 remainder 12345678901 100 -> 1\r
 453 ddrem810 remainder 1 12345678901   -> 1\r
 454 ddrem811 remainder 1234567896  10  -> 6\r
 455 ddrem812 remainder 1 1234567896    -> 1\r
 456 \r
 457 ddrem821 remainder 12345678000 100 -> 0\r
 458 ddrem822 remainder 1 12345678000   -> 1\r
 459 ddrem823 remainder 1234567800  10  -> 0\r
 460 ddrem824 remainder 1 1234567800    -> 1\r
 461 ddrem825 remainder 1234567890  10  -> 0\r
 462 ddrem826 remainder 1 1234567890    -> 1\r
 463 ddrem827 remainder 1234567891  10  -> 1\r
 464 ddrem828 remainder 1 1234567891    -> 1\r
 465 ddrem829 remainder 12345678901 100 -> 1\r
 466 ddrem830 remainder 1 12345678901   -> 1\r
 467 ddrem831 remainder 1234567896  10  -> 6\r
 468 ddrem832 remainder 1 1234567896    -> 1\r
 469 \r
 470 -- from divideint\r
 471 ddrem840 remainder  100000000.0   1  ->  0.0\r
 472 ddrem841 remainder  100000000.4   1  ->  0.4\r
 473 ddrem842 remainder  100000000.5   1  ->  0.5\r
 474 ddrem843 remainder  100000000.9   1  ->  0.9\r
 475 ddrem844 remainder  100000000.999 1  ->  0.999\r
 476 ddrem850 remainder  100000003     5  ->  3\r
 477 ddrem851 remainder  10000003      5  ->  3\r
 478 ddrem852 remainder  1000003       5  ->  3\r
 479 ddrem853 remainder  100003        5  ->  3\r
 480 ddrem854 remainder  10003         5  ->  3\r
 481 ddrem855 remainder  1003          5  ->  3\r
 482 ddrem856 remainder  103           5  ->  3\r
 483 ddrem857 remainder  13            5  ->  3\r
 484 ddrem858 remainder  1             5  ->  1\r
 485 \r
 486 -- Vladimir's cases         1234567890123456\r
 487 ddrem860 remainder 123.0e1 1000000000000000  -> 1230\r
 488 ddrem861 remainder 1230    1000000000000000  -> 1230\r
 489 ddrem862 remainder 12.3e2  1000000000000000  -> 1230\r
 490 ddrem863 remainder 1.23e3  1000000000000000  -> 1230\r
 491 ddrem864 remainder 123e1   1000000000000000  -> 1230\r
 492 ddrem870 remainder 123e1    1000000000000000 -> 1230\r
 493 ddrem871 remainder 123e1     100000000000000 -> 1230\r
 494 ddrem872 remainder 123e1      10000000000000 -> 1230\r
 495 ddrem873 remainder 123e1       1000000000000 -> 1230\r
 496 ddrem874 remainder 123e1        100000000000 -> 1230\r
 497 ddrem875 remainder 123e1         10000000000 -> 1230\r
 498 ddrem876 remainder 123e1          1000000000 -> 1230\r
 499 ddrem877 remainder 123e1           100000000 -> 1230\r
 500 ddrem878 remainder 1230            100000000 -> 1230\r
 501 ddrem879 remainder 123e1            10000000 -> 1230\r
 502 ddrem880 remainder 123e1             1000000 -> 1230\r
 503 ddrem881 remainder 123e1              100000 -> 1230\r
 504 ddrem882 remainder 123e1               10000 -> 1230\r
 505 ddrem883 remainder 123e1                1000 ->  230\r
 506 ddrem884 remainder 123e1                 100 ->   30\r
 507 ddrem885 remainder 123e1                  10 ->    0\r
 508 ddrem886 remainder 123e1                   1 ->    0\r
 509 \r
 510 ddrem890 remainder 123e1    2000000000000000 -> 1230\r
 511 ddrem891 remainder 123e1     200000000000000 -> 1230\r
 512 ddrem892 remainder 123e1      20000000000000 -> 1230\r
 513 ddrem893 remainder 123e1       2000000000000 -> 1230\r
 514 ddrem894 remainder 123e1        200000000000 -> 1230\r
 515 ddrem895 remainder 123e1         20000000000 -> 1230\r
 516 ddrem896 remainder 123e1          2000000000 -> 1230\r
 517 ddrem897 remainder 123e1           200000000 -> 1230\r
 518 ddrem899 remainder 123e1            20000000 -> 1230\r
 519 ddrem900 remainder 123e1             2000000 -> 1230\r
 520 ddrem901 remainder 123e1              200000 -> 1230\r
 521 ddrem902 remainder 123e1               20000 -> 1230\r
 522 ddrem903 remainder 123e1                2000 -> 1230\r
 523 ddrem904 remainder 123e1                 200 ->   30\r
 524 ddrem905 remainder 123e1                  20 ->   10\r
 525 ddrem906 remainder 123e1                   2 ->    0\r
 526 \r
 527 ddrem910 remainder 123e1    5000000000000000 -> 1230\r
 528 ddrem911 remainder 123e1     500000000000000 -> 1230\r
 529 ddrem912 remainder 123e1      50000000000000 -> 1230\r
 530 ddrem913 remainder 123e1       5000000000000 -> 1230\r
 531 ddrem914 remainder 123e1        500000000000 -> 1230\r
 532 ddrem915 remainder 123e1         50000000000 -> 1230\r
 533 ddrem916 remainder 123e1          5000000000 -> 1230\r
 534 ddrem917 remainder 123e1           500000000 -> 1230\r
 535 ddrem919 remainder 123e1            50000000 -> 1230\r
 536 ddrem920 remainder 123e1             5000000 -> 1230\r
 537 ddrem921 remainder 123e1              500000 -> 1230\r
 538 ddrem922 remainder 123e1               50000 -> 1230\r
 539 ddrem923 remainder 123e1                5000 -> 1230\r
 540 ddrem924 remainder 123e1                 500 ->  230\r
 541 ddrem925 remainder 123e1                  50 ->   30\r
 542 ddrem926 remainder 123e1                   5 ->    0\r
 543 \r
 544 ddrem930 remainder 123e1    9000000000000000 -> 1230\r
 545 ddrem931 remainder 123e1     900000000000000 -> 1230\r
 546 ddrem932 remainder 123e1      90000000000000 -> 1230\r
 547 ddrem933 remainder 123e1       9000000000000 -> 1230\r
 548 ddrem934 remainder 123e1        900000000000 -> 1230\r
 549 ddrem935 remainder 123e1         90000000000 -> 1230\r
 550 ddrem936 remainder 123e1          9000000000 -> 1230\r
 551 ddrem937 remainder 123e1           900000000 -> 1230\r
 552 ddrem939 remainder 123e1            90000000 -> 1230\r
 553 ddrem940 remainder 123e1             9000000 -> 1230\r
 554 ddrem941 remainder 123e1              900000 -> 1230\r
 555 ddrem942 remainder 123e1               90000 -> 1230\r
 556 ddrem943 remainder 123e1                9000 -> 1230\r
 557 ddrem944 remainder 123e1                 900 ->  330\r
 558 ddrem945 remainder 123e1                  90 ->   60\r
 559 ddrem946 remainder 123e1                   9 ->    6\r
 560 \r
 561 ddrem950 remainder 123e1   1000000000000000 -> 1230\r
 562 ddrem961 remainder 123e1   2999999999999999 -> 1230\r
 563 ddrem962 remainder 123e1   3999999999999999 -> 1230\r
 564 ddrem963 remainder 123e1   4999999999999999 -> 1230\r
 565 ddrem964 remainder 123e1   5999999999999999 -> 1230\r
 566 ddrem965 remainder 123e1   6999999999999999 -> 1230\r
 567 ddrem966 remainder 123e1   7999999999999999 -> 1230\r
 568 ddrem967 remainder 123e1   8999999999999999 -> 1230\r
 569 ddrem968 remainder 123e1   9999999999999999 -> 1230\r
 570 ddrem969 remainder 123e1   9876543210987654 -> 1230\r
 571 \r
 572 ddrem980 remainder 123e1 1000E299 -> 1.23E+3  -- 123E+1 internally\r
 573 \r
 574 -- overflow and underflow tests [from divide]\r
 575 ddrem1051 remainder  1e+277  1e-311 ->  NaN Division_impossible\r
 576 ddrem1052 remainder  1e+277 -1e-311 ->  NaN Division_impossible\r
 577 ddrem1053 remainder -1e+277  1e-311 ->  NaN Division_impossible\r
 578 ddrem1054 remainder -1e+277 -1e-311 ->  NaN Division_impossible\r
 579 ddrem1055 remainder  1e-277  1e+311 ->  1E-277\r
 580 ddrem1056 remainder  1e-277 -1e+311 ->  1E-277\r
 581 ddrem1057 remainder -1e-277  1e+311 -> -1E-277\r
 582 ddrem1058 remainder -1e-277 -1e+311 -> -1E-277\r
 583 \r
 584 -- destructive subtract\r
 585 ddrem1101 remainder  1234567890123456  1.000000000000001  ->  0.765432109876546\r
 586 ddrem1102 remainder  1234567890123456   1.00000000000001  ->   0.65432109876557\r
 587 ddrem1103 remainder  1234567890123456    1.0000000000001  ->    0.5432109876668\r
 588 ddrem1104 remainder  1234567890123455  4.000000000000001  ->  2.691358027469137\r
 589 ddrem1105 remainder  1234567890123456  4.000000000000001  ->  3.691358027469137\r
 590 ddrem1106 remainder  1234567890123456    4.9999999999999  ->    0.6913578024696\r
 591 ddrem1107 remainder  1234567890123456   4.99999999999999  ->   3.46913578024691\r
 592 ddrem1108 remainder  1234567890123456  4.999999999999999  ->  1.246913578024691\r
 593 ddrem1109 remainder  1234567890123456  5.000000000000001  ->  0.753086421975309\r
 594 ddrem1110 remainder  1234567890123456   5.00000000000001  ->   3.53086421975310\r
 595 ddrem1111 remainder  1234567890123456    5.0000000000001  ->    1.3086421975314\r
 596 \r
 597 -- Null tests\r
 598 ddrem1000 remainder 10  # -> NaN Invalid_operation\r
 599 ddrem1001 remainder  # 10 -> NaN Invalid_operation\r
 600 \r