Lib/test/decimaltestdata/remainder.decTest

   1 ------------------------------------------------------------------------
   2 -- remainder.decTest -- decimal remainder                             --
   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@uk.ibm.com                                                   --
  19 ------------------------------------------------------------------------
  20 version: 2.59
  21
  22 extended:    1
  23 precision:   9
  24 rounding:    half_up
  25 maxExponent: 384
  26 minexponent: -383
  27
  28 -- sanity checks (as base, above)
  29 remx001 remainder  1     1    ->  0
  30 remx002 remainder  2     1    ->  0
  31 remx003 remainder  1     2    ->  1
  32 remx004 remainder  2     2    ->  0
  33 remx005 remainder  0     1    ->  0
  34 remx006 remainder  0     2    ->  0
  35 remx007 remainder  1     3    ->  1
  36 remx008 remainder  2     3    ->  2
  37 remx009 remainder  3     3    ->  0
  38
  39 remx010 remainder  2.4   1    ->  0.4
  40 remx011 remainder  2.4   -1   ->  0.4
  41 remx012 remainder  -2.4  1    ->  -0.4
  42 remx013 remainder  -2.4  -1   ->  -0.4
  43 remx014 remainder  2.40  1    ->  0.40
  44 remx015 remainder  2.400 1    ->  0.400
  45 remx016 remainder  2.4   2    ->  0.4
  46 remx017 remainder  2.400 2    ->  0.400
  47 remx018 remainder  2.    2    ->  0
  48 remx019 remainder  20    20   ->  0
  49
  50 remx020 remainder  187   187    ->  0
  51 remx021 remainder  5     2      ->  1
  52 remx022 remainder  5     2.0    ->  1.0
  53 remx023 remainder  5     2.000  ->  1.000
  54 remx024 remainder  5     0.200  ->  0.000
  55 remx025 remainder  5     0.200  ->  0.000
  56
  57 remx030 remainder  1     2      ->  1
  58 remx031 remainder  1     4      ->  1
  59 remx032 remainder  1     8      ->  1
  60
  61 remx033 remainder  1     16     ->  1
  62 remx034 remainder  1     32     ->  1
  63 remx035 remainder  1     64     ->  1
  64 remx040 remainder  1    -2      ->  1
  65 remx041 remainder  1    -4      ->  1
  66 remx042 remainder  1    -8      ->  1
  67 remx043 remainder  1    -16     ->  1
  68 remx044 remainder  1    -32     ->  1
  69 remx045 remainder  1    -64     ->  1
  70 remx050 remainder -1     2      ->  -1
  71 remx051 remainder -1     4      ->  -1
  72 remx052 remainder -1     8      ->  -1
  73 remx053 remainder -1     16     ->  -1
  74 remx054 remainder -1     32     ->  -1
  75 remx055 remainder -1     64     ->  -1
  76 remx060 remainder -1    -2      ->  -1
  77 remx061 remainder -1    -4      ->  -1
  78 remx062 remainder -1    -8      ->  -1
  79 remx063 remainder -1    -16     ->  -1
  80 remx064 remainder -1    -32     ->  -1
  81 remx065 remainder -1    -64     ->  -1
  82
  83 remx066 remainder  999999999     1  -> 0
  84 remx067 remainder  999999999.4   1  -> 0.4
  85 remx068 remainder  999999999.5   1  -> 0.5
  86 remx069 remainder  999999999.9   1  -> 0.9
  87 remx070 remainder  999999999.999 1  -> 0.999
  88 precision: 6
  89 remx071 remainder  999999999     1  -> NaN Division_impossible
  90 remx072 remainder  99999999      1  -> NaN Division_impossible
  91 remx073 remainder  9999999       1  -> NaN Division_impossible
  92 remx074 remainder  999999        1  -> 0
  93 remx075 remainder  99999         1  -> 0
  94 remx076 remainder  9999          1  -> 0
  95 remx077 remainder  999           1  -> 0
  96 remx078 remainder  99            1  -> 0
  97 remx079 remainder  9             1  -> 0
  98
  99 precision: 9
 100 remx080 remainder  0.            1  -> 0
 101 remx081 remainder  .0            1  -> 0.0
 102 remx082 remainder  0.00          1  -> 0.00
 103 remx083 remainder  0.00E+9       1  -> 0
 104 remx084 remainder  0.00E+3       1  -> 0
 105 remx085 remainder  0.00E+2       1  -> 0
 106 remx086 remainder  0.00E+1       1  -> 0.0
 107 remx087 remainder  0.00E+0       1  -> 0.00
 108 remx088 remainder  0.00E-0       1  -> 0.00
 109 remx089 remainder  0.00E-1       1  -> 0.000
 110 remx090 remainder  0.00E-2       1  -> 0.0000
 111 remx091 remainder  0.00E-3       1  -> 0.00000
 112 remx092 remainder  0.00E-4       1  -> 0.000000
 113 remx093 remainder  0.00E-5       1  -> 0E-7
 114 remx094 remainder  0.00E-6       1  -> 0E-8
 115 remx095 remainder  0.0000E-50    1  -> 0E-54
 116
 117 -- Various flavours of remainder by 0
 118 precision: 9
 119 maxexponent: 999999999
 120 minexponent: -999999999
 121 remx101 remainder  0       0   -> NaN Division_undefined
 122 remx102 remainder  0      -0   -> NaN Division_undefined
 123 remx103 remainder -0       0   -> NaN Division_undefined
 124 remx104 remainder -0      -0   -> NaN Division_undefined
 125 remx105 remainder  0.0E5   0   -> NaN Division_undefined
 126 remx106 remainder  0.000   0   -> NaN Division_undefined
 127 -- [Some think this next group should be Division_by_zero exception, but
 128 -- IEEE 854 is explicit that it is Invalid operation .. for
 129 -- remainder-near, anyway]
 130 remx107 remainder  0.0001  0   -> NaN Invalid_operation
 131 remx108 remainder  0.01    0   -> NaN Invalid_operation
 132 remx109 remainder  0.1     0   -> NaN Invalid_operation
 133 remx110 remainder  1       0   -> NaN Invalid_operation
 134 remx111 remainder  1       0.0 -> NaN Invalid_operation
 135 remx112 remainder 10       0.0 -> NaN Invalid_operation
 136 remx113 remainder 1E+100   0.0 -> NaN Invalid_operation
 137 remx114 remainder 1E+1000  0   -> NaN Invalid_operation
 138 remx115 remainder  0.0001 -0   -> NaN Invalid_operation
 139 remx116 remainder  0.01   -0   -> NaN Invalid_operation
 140 remx119 remainder  0.1    -0   -> NaN Invalid_operation
 141 remx120 remainder  1      -0   -> NaN Invalid_operation
 142 remx121 remainder  1      -0.0 -> NaN Invalid_operation
 143 remx122 remainder 10      -0.0 -> NaN Invalid_operation
 144 remx123 remainder 1E+100  -0.0 -> NaN Invalid_operation
 145 remx124 remainder 1E+1000 -0   -> NaN Invalid_operation
 146 -- and zeros on left
 147 remx130 remainder  0      1   ->  0
 148 remx131 remainder  0     -1   ->  0
 149 remx132 remainder  0.0    1   ->  0.0
 150 remx133 remainder  0.0   -1   ->  0.0
 151 remx134 remainder -0      1   -> -0
 152 remx135 remainder -0     -1   -> -0
 153 remx136 remainder -0.0    1   -> -0.0
 154 remx137 remainder -0.0   -1   -> -0.0
 155
 156 -- 0.5ers
 157 remx143 remainder   0.5  2     ->  0.5
 158 remx144 remainder   0.5  2.1   ->  0.5
 159 remx145 remainder   0.5  2.01  ->  0.50
 160 remx146 remainder   0.5  2.001 ->  0.500
 161 remx147 remainder   0.50 2     ->  0.50
 162 remx148 remainder   0.50 2.01  ->  0.50
 163 remx149 remainder   0.50 2.001 ->  0.500
 164
 165 -- steadies
 166 remx150 remainder  1  1   -> 0
 167 remx151 remainder  1  2   -> 1
 168 remx152 remainder  1  3   -> 1
 169 remx153 remainder  1  4   -> 1
 170 remx154 remainder  1  5   -> 1
 171 remx155 remainder  1  6   -> 1
 172 remx156 remainder  1  7   -> 1
 173 remx157 remainder  1  8   -> 1
 174 remx158 remainder  1  9   -> 1
 175 remx159 remainder  1  10  -> 1
 176 remx160 remainder  1  1   -> 0
 177 remx161 remainder  2  1   -> 0
 178 remx162 remainder  3  1   -> 0
 179 remx163 remainder  4  1   -> 0
 180 remx164 remainder  5  1   -> 0
 181 remx165 remainder  6  1   -> 0
 182 remx166 remainder  7  1   -> 0
 183 remx167 remainder  8  1   -> 0
 184 remx168 remainder  9  1   -> 0
 185 remx169 remainder  10 1   -> 0
 186
 187 -- some differences from remainderNear
 188 remx171 remainder   0.4  1.020 ->  0.400
 189 remx172 remainder   0.50 1.020 ->  0.500
 190 remx173 remainder   0.51 1.020 ->  0.510
 191 remx174 remainder   0.52 1.020 ->  0.520
 192 remx175 remainder   0.6  1.020 ->  0.600
 193
 194
 195 -- More flavours of remainder by 0
 196 maxexponent: 999999999
 197 minexponent: -999999999
 198 remx201 remainder  0      0   -> NaN Division_undefined
 199 remx202 remainder  0.0E5  0   -> NaN Division_undefined
 200 remx203 remainder  0.000  0   -> NaN Division_undefined
 201 remx204 remainder  0.0001 0   -> NaN Invalid_operation
 202 remx205 remainder  0.01   0   -> NaN Invalid_operation
 203 remx206 remainder  0.1    0   -> NaN Invalid_operation
 204 remx207 remainder  1      0   -> NaN Invalid_operation
 205 remx208 remainder  1      0.0 -> NaN Invalid_operation
 206 remx209 remainder 10      0.0 -> NaN Invalid_operation
 207 remx210 remainder 1E+100  0.0 -> NaN Invalid_operation
 208 remx211 remainder 1E+1000 0   -> NaN Invalid_operation
 209
 210 -- some differences from remainderNear
 211 remx231 remainder  -0.4  1.020 -> -0.400
 212 remx232 remainder  -0.50 1.020 -> -0.500
 213 remx233 remainder  -0.51 1.020 -> -0.510
 214 remx234 remainder  -0.52 1.020 -> -0.520
 215 remx235 remainder  -0.6  1.020 -> -0.600
 216
 217 -- high Xs
 218 remx240 remainder  1E+2  1.00  ->  0.00
 219
 220
 221 -- test some cases that are close to exponent overflow
 222 maxexponent: 999999999
 223 minexponent: -999999999
 224 remx270 remainder 1 1e999999999    -> 1
 225 remx271 remainder 1 0.9e999999999  -> 1
 226 remx272 remainder 1 0.99e999999999 -> 1
 227 remx273 remainder 1 0.999999999e999999999 -> 1
 228 remx274 remainder 9e999999999          1 -> NaN Division_impossible
 229 remx275 remainder 9.9e999999999        1 -> NaN Division_impossible
 230 remx276 remainder 9.99e999999999       1 -> NaN Division_impossible
 231 remx277 remainder 9.99999999e999999999 1 -> NaN Division_impossible
 232
 233 remx280 remainder 0.1 9e-999999999       -> NaN Division_impossible
 234 remx281 remainder 0.1 99e-999999999      -> NaN Division_impossible
 235 remx282 remainder 0.1 999e-999999999     -> NaN Division_impossible
 236
 237 remx283 remainder 0.1 9e-999999998       -> NaN Division_impossible
 238 remx284 remainder 0.1 99e-999999998      -> NaN Division_impossible
 239 remx285 remainder 0.1 999e-999999998     -> NaN Division_impossible
 240 remx286 remainder 0.1 999e-999999997     -> NaN Division_impossible
 241 remx287 remainder 0.1 9999e-999999997    -> NaN Division_impossible
 242 remx288 remainder 0.1 99999e-999999997   -> NaN Division_impossible
 243
 244 -- remx3xx are from DiagBigDecimal
 245 remx301 remainder   1    3     ->  1
 246 remx302 remainder   5    5     ->  0
 247 remx303 remainder   13   10    ->  3
 248 remx304 remainder   13   50    ->  13
 249 remx305 remainder   13   100   ->  13
 250 remx306 remainder   13   1000  ->  13
 251 remx307 remainder   .13    1   ->  0.13
 252 remx308 remainder   0.133  1   ->  0.133
 253 remx309 remainder   0.1033 1   ->  0.1033
 254 remx310 remainder   1.033  1   ->  0.033
 255 remx311 remainder   10.33  1   ->  0.33
 256 remx312 remainder   10.33 10   ->  0.33
 257 remx313 remainder   103.3  1   ->  0.3
 258 remx314 remainder   133   10   ->  3
 259 remx315 remainder   1033  10   ->  3
 260 remx316 remainder   1033  50   ->  33
 261 remx317 remainder   101.0  3   ->  2.0
 262 remx318 remainder   102.0  3   ->  0.0
 263 remx319 remainder   103.0  3   ->  1.0
 264 remx320 remainder   2.40   1   ->  0.40
 265 remx321 remainder   2.400  1   ->  0.400
 266 remx322 remainder   2.4    1   ->  0.4
 267 remx323 remainder   2.4    2   ->  0.4
 268 remx324 remainder   2.400  2   ->  0.400
 269 remx325 remainder   1   0.3    ->  0.1
 270 remx326 remainder   1   0.30   ->  0.10
 271 remx327 remainder   1   0.300  ->  0.100
 272 remx328 remainder   1   0.3000 ->  0.1000
 273 remx329 remainder   1.0    0.3 ->  0.1
 274 remx330 remainder   1.00   0.3 ->  0.10
 275 remx331 remainder   1.000  0.3 ->  0.100
 276 remx332 remainder   1.0000 0.3 ->  0.1000
 277 remx333 remainder   0.5  2     ->  0.5
 278 remx334 remainder   0.5  2.1   ->  0.5
 279 remx335 remainder   0.5  2.01  ->  0.50
 280 remx336 remainder   0.5  2.001 ->  0.500
 281 remx337 remainder   0.50 2     ->  0.50
 282 remx338 remainder   0.50 2.01  ->  0.50
 283 remx339 remainder   0.50 2.001 ->  0.500
 284
 285 remx340 remainder   0.5   0.5000001    ->  0.5000000
 286 remx341 remainder   0.5   0.50000001    ->  0.50000000
 287 remx342 remainder   0.5   0.500000001    ->  0.500000000
 288 remx343 remainder   0.5   0.5000000001    ->  0.500000000  Rounded
 289 remx344 remainder   0.5   0.50000000001    ->  0.500000000  Rounded
 290 remx345 remainder   0.5   0.4999999    ->  1E-7
 291 remx346 remainder   0.5   0.49999999    ->  1E-8
 292 remx347 remainder   0.5   0.499999999    ->  1E-9
 293 remx348 remainder   0.5   0.4999999999    ->  1E-10
 294 remx349 remainder   0.5   0.49999999999    ->  1E-11
 295 remx350 remainder   0.5   0.499999999999    ->  1E-12
 296
 297 remx351 remainder   0.03  7  ->  0.03
 298 remx352 remainder   5   2    ->  1
 299 remx353 remainder   4.1   2    ->  0.1
 300 remx354 remainder   4.01   2    ->  0.01
 301 remx355 remainder   4.001   2    ->  0.001
 302 remx356 remainder   4.0001   2    ->  0.0001
 303 remx357 remainder   4.00001   2    ->  0.00001
 304 remx358 remainder   4.000001   2    ->  0.000001
 305 remx359 remainder   4.0000001   2    ->  1E-7
 306
 307 remx360 remainder   1.2   0.7345 ->  0.4655
 308 remx361 remainder   0.8   12     ->  0.8
 309 remx362 remainder   0.8   0.2    ->  0.0
 310 remx363 remainder   0.8   0.3    ->  0.2
 311 remx364 remainder   0.800   12   ->  0.800
 312 remx365 remainder   0.800   1.7  ->  0.800
 313 remx366 remainder   2.400   2    ->  0.400
 314
 315 precision: 6
 316 remx371 remainder   2.400  2        ->  0.400
 317 precision: 3
 318 -- long operand, rounded, case
 319 remx372 remainder   12345678900000 12e+12 -> 3.46E+11 Inexact Rounded
 320 --                  12000000000000
 321
 322 precision: 5
 323 remx381 remainder 12345  1         ->  0
 324 remx382 remainder 12345  1.0001    ->  0.7657
 325 remx383 remainder 12345  1.001     ->  0.668
 326 remx384 remainder 12345  1.01      ->  0.78
 327 remx385 remainder 12345  1.1       ->  0.8
 328 remx386 remainder 12355  4         ->  3
 329 remx387 remainder 12345  4         ->  1
 330 remx388 remainder 12355  4.0001    ->  2.6912
 331 remx389 remainder 12345  4.0001    ->  0.6914
 332 remx390 remainder 12345  4.9       ->  1.9
 333 remx391 remainder 12345  4.99      ->  4.73
 334 remx392 remainder 12345  4.999     ->  2.469
 335 remx393 remainder 12345  4.9999    ->  0.2469
 336 remx394 remainder 12345  5         ->  0
 337 remx395 remainder 12345  5.0001    ->  4.7532
 338 remx396 remainder 12345  5.001     ->  2.532
 339 remx397 remainder 12345  5.01      ->  0.36
 340 remx398 remainder 12345  5.1       ->  3.0
 341
 342 precision: 9
 343 -- the nasty division-by-1 cases
 344 remx401 remainder   0.5         1   ->  0.5
 345 remx402 remainder   0.55        1   ->  0.55
 346 remx403 remainder   0.555       1   ->  0.555
 347 remx404 remainder   0.5555      1   ->  0.5555
 348 remx405 remainder   0.55555     1   ->  0.55555
 349 remx406 remainder   0.555555    1   ->  0.555555
 350 remx407 remainder   0.5555555   1   ->  0.5555555
 351 remx408 remainder   0.55555555  1   ->  0.55555555
 352 remx409 remainder   0.555555555 1   ->  0.555555555
 353
 354 -- zero signs
 355 remx650 remainder  1  1 ->  0
 356 remx651 remainder -1  1 -> -0
 357 remx652 remainder  1 -1 ->  0
 358 remx653 remainder -1 -1 -> -0
 359 remx654 remainder  0  1 ->  0
 360 remx655 remainder -0  1 -> -0
 361 remx656 remainder  0 -1 ->  0
 362 remx657 remainder -0 -1 -> -0
 363 remx658 remainder  0.00  1  ->  0.00
 364 remx659 remainder -0.00  1  -> -0.00
 365
 366 -- Specials
 367 remx680 remainder  Inf  -Inf   ->  NaN Invalid_operation
 368 remx681 remainder  Inf  -1000  ->  NaN Invalid_operation
 369 remx682 remainder  Inf  -1     ->  NaN Invalid_operation
 370 remx683 remainder  Inf   0     ->  NaN Invalid_operation
 371 remx684 remainder  Inf  -0     ->  NaN Invalid_operation
 372 remx685 remainder  Inf   1     ->  NaN Invalid_operation
 373 remx686 remainder  Inf   1000  ->  NaN Invalid_operation
 374 remx687 remainder  Inf   Inf   ->  NaN Invalid_operation
 375 remx688 remainder -1000  Inf   -> -1000
 376 remx689 remainder -Inf   Inf   ->  NaN Invalid_operation
 377 remx691 remainder -1     Inf   -> -1
 378 remx692 remainder  0     Inf   ->  0
 379 remx693 remainder -0     Inf   -> -0
 380 remx694 remainder  1     Inf   ->  1
 381 remx695 remainder  1000  Inf   ->  1000
 382 remx696 remainder  Inf   Inf   ->  NaN Invalid_operation
 383
 384 remx700 remainder -Inf  -Inf   ->  NaN Invalid_operation
 385 remx701 remainder -Inf  -1000  ->  NaN Invalid_operation
 386 remx702 remainder -Inf  -1     ->  NaN Invalid_operation
 387 remx703 remainder -Inf  -0     ->  NaN Invalid_operation
 388 remx704 remainder -Inf   0     ->  NaN Invalid_operation
 389 remx705 remainder -Inf   1     ->  NaN Invalid_operation
 390 remx706 remainder -Inf   1000  ->  NaN Invalid_operation
 391 remx707 remainder -Inf   Inf   ->  NaN Invalid_operation
 392 remx708 remainder -Inf  -Inf   ->  NaN Invalid_operation
 393 remx709 remainder -1000  Inf   -> -1000
 394 remx710 remainder -1    -Inf   -> -1
 395 remx711 remainder -0    -Inf   -> -0
 396 remx712 remainder  0    -Inf   ->  0
 397 remx713 remainder  1    -Inf   ->  1
 398 remx714 remainder  1000 -Inf   ->  1000
 399 remx715 remainder  Inf  -Inf   ->  NaN Invalid_operation
 400
 401 remx721 remainder  NaN -Inf    ->  NaN
 402 remx722 remainder  NaN -1000   ->  NaN
 403 remx723 remainder  NaN -1      ->  NaN
 404 remx724 remainder  NaN -0      ->  NaN
 405 remx725 remainder -NaN  0      -> -NaN
 406 remx726 remainder  NaN  1      ->  NaN
 407 remx727 remainder  NaN  1000   ->  NaN
 408 remx728 remainder  NaN  Inf    ->  NaN
 409 remx729 remainder  NaN -NaN    ->  NaN
 410 remx730 remainder -Inf  NaN    ->  NaN
 411 remx731 remainder -1000 NaN    ->  NaN
 412 remx732 remainder -1    NaN    ->  NaN
 413 remx733 remainder -0   -NaN    -> -NaN
 414 remx734 remainder  0    NaN    ->  NaN
 415 remx735 remainder  1   -NaN    -> -NaN
 416 remx736 remainder  1000 NaN    ->  NaN
 417 remx737 remainder  Inf  NaN    ->  NaN
 418
 419 remx741 remainder  sNaN -Inf   ->  NaN  Invalid_operation
 420 remx742 remainder  sNaN -1000  ->  NaN  Invalid_operation
 421 remx743 remainder -sNaN -1     -> -NaN  Invalid_operation
 422 remx744 remainder  sNaN -0     ->  NaN  Invalid_operation
 423 remx745 remainder  sNaN  0     ->  NaN  Invalid_operation
 424 remx746 remainder  sNaN  1     ->  NaN  Invalid_operation
 425 remx747 remainder  sNaN  1000  ->  NaN  Invalid_operation
 426 remx749 remainder  sNaN  NaN   ->  NaN  Invalid_operation
 427 remx750 remainder  sNaN sNaN   ->  NaN  Invalid_operation
 428 remx751 remainder  NaN  sNaN   ->  NaN  Invalid_operation
 429 remx752 remainder -Inf  sNaN   ->  NaN  Invalid_operation
 430 remx753 remainder -1000 sNaN   ->  NaN  Invalid_operation
 431 remx754 remainder -1    sNaN   ->  NaN  Invalid_operation
 432 remx755 remainder -0    sNaN   ->  NaN  Invalid_operation
 433 remx756 remainder  0    sNaN   ->  NaN  Invalid_operation
 434 remx757 remainder  1    sNaN   ->  NaN  Invalid_operation
 435 remx758 remainder  1000 sNaN   ->  NaN  Invalid_operation
 436 remx759 remainder  Inf -sNaN   -> -NaN  Invalid_operation
 437
 438 -- propaging NaNs
 439 remx760 remainder  NaN1   NaN7   ->  NaN1
 440 remx761 remainder sNaN2   NaN8   ->  NaN2 Invalid_operation
 441 remx762 remainder  NaN3  sNaN9   ->  NaN9 Invalid_operation
 442 remx763 remainder sNaN4  sNaN10  ->  NaN4 Invalid_operation
 443 remx764 remainder    15   NaN11  ->  NaN11
 444 remx765 remainder  NaN6   NaN12  ->  NaN6
 445 remx766 remainder  Inf    NaN13  ->  NaN13
 446 remx767 remainder  NaN14  -Inf   ->  NaN14
 447 remx768 remainder    0    NaN15  ->  NaN15
 448 remx769 remainder  NaN16   -0    ->  NaN16
 449
 450 -- test some cases that are close to exponent overflow
 451 maxexponent: 999999999
 452 minexponent: -999999999
 453 remx770 remainder 1 1e999999999    -> 1
 454 remx771 remainder 1 0.9e999999999  -> 1
 455 remx772 remainder 1 0.99e999999999 -> 1
 456 remx773 remainder 1 0.999999999e999999999 -> 1
 457 remx774 remainder 9e999999999          1 -> NaN Division_impossible
 458 remx775 remainder 9.9e999999999        1 -> NaN Division_impossible
 459 remx776 remainder 9.99e999999999       1 -> NaN Division_impossible
 460 remx777 remainder 9.99999999e999999999 1 -> NaN Division_impossible
 461
 462 -- long operand checks
 463 maxexponent: 999
 464 minexponent: -999
 465 precision: 9
 466 remx801 remainder 12345678000 100 -> 0
 467 remx802 remainder 1 12345678000   -> 1
 468 remx803 remainder 1234567800  10  -> 0
 469 remx804 remainder 1 1234567800    -> 1
 470 remx805 remainder 1234567890  10  -> 0
 471 remx806 remainder 1 1234567890    -> 1
 472 remx807 remainder 1234567891  10  -> 1
 473 remx808 remainder 1 1234567891    -> 1
 474 remx809 remainder 12345678901 100 -> 1
 475 remx810 remainder 1 12345678901   -> 1
 476 remx811 remainder 1234567896  10  -> 6
 477 remx812 remainder 1 1234567896    -> 1
 478
 479 precision: 15
 480 remx821 remainder 12345678000 100 -> 0
 481 remx822 remainder 1 12345678000   -> 1
 482 remx823 remainder 1234567800  10  -> 0
 483 remx824 remainder 1 1234567800    -> 1
 484 remx825 remainder 1234567890  10  -> 0
 485 remx826 remainder 1 1234567890    -> 1
 486 remx827 remainder 1234567891  10  -> 1
 487 remx828 remainder 1 1234567891    -> 1
 488 remx829 remainder 12345678901 100 -> 1
 489 remx830 remainder 1 12345678901   -> 1
 490 remx831 remainder 1234567896  10  -> 6
 491 remx832 remainder 1 1234567896    -> 1
 492
 493 -- worries from divideint
 494 precision: 8
 495 remx840 remainder  100000000.0   1  ->  NaN Division_impossible
 496 remx841 remainder  100000000.4   1  ->  NaN Division_impossible
 497 remx842 remainder  100000000.5   1  ->  NaN Division_impossible
 498 remx843 remainder  100000000.9   1  ->  NaN Division_impossible
 499 remx844 remainder  100000000.999 1  ->  NaN Division_impossible
 500 precision: 6
 501 remx850 remainder  100000003     5  ->  NaN Division_impossible
 502 remx851 remainder  10000003      5  ->  NaN Division_impossible
 503 remx852 remainder  1000003       5  ->  3
 504 remx853 remainder  100003        5  ->  3
 505 remx854 remainder  10003         5  ->  3
 506 remx855 remainder  1003          5  ->  3
 507 remx856 remainder  103           5  ->  3
 508 remx857 remainder  13            5  ->  3
 509 remx858 remainder  1             5  ->  1
 510
 511 -- Vladimir's cases
 512 remx860 remainder 123.0e1 10000000000000000 -> 1230
 513 remx861 remainder 1230    10000000000000000 -> 1230
 514 remx862 remainder 12.3e2  10000000000000000 -> 1230
 515 remx863 remainder 1.23e3  10000000000000000 -> 1230
 516 remx864 remainder 123e1   10000000000000000 -> 1230
 517 remx870 remainder 123e1    1000000000000000 -> 1230
 518 remx871 remainder 123e1     100000000000000 -> 1230
 519 remx872 remainder 123e1      10000000000000 -> 1230
 520 remx873 remainder 123e1       1000000000000 -> 1230
 521 remx874 remainder 123e1        100000000000 -> 1230
 522 remx875 remainder 123e1         10000000000 -> 1230
 523 remx876 remainder 123e1          1000000000 -> 1230
 524 remx877 remainder 123e1           100000000 -> 1230
 525 remx878 remainder 1230            100000000 -> 1230
 526 remx879 remainder 123e1            10000000 -> 1230
 527 remx880 remainder 123e1             1000000 -> 1230
 528 remx881 remainder 123e1              100000 -> 1230
 529 remx882 remainder 123e1               10000 -> 1230
 530 remx883 remainder 123e1                1000 ->  230
 531 remx884 remainder 123e1                 100 ->   30
 532 remx885 remainder 123e1                  10 ->    0
 533 remx886 remainder 123e1                   1 ->    0
 534
 535 remx889 remainder 123e1   20000000000000000 -> 1230
 536 remx890 remainder 123e1    2000000000000000 -> 1230
 537 remx891 remainder 123e1     200000000000000 -> 1230
 538 remx892 remainder 123e1      20000000000000 -> 1230
 539 remx893 remainder 123e1       2000000000000 -> 1230
 540 remx894 remainder 123e1        200000000000 -> 1230
 541 remx895 remainder 123e1         20000000000 -> 1230
 542 remx896 remainder 123e1          2000000000 -> 1230
 543 remx897 remainder 123e1           200000000 -> 1230
 544 remx899 remainder 123e1            20000000 -> 1230
 545 remx900 remainder 123e1             2000000 -> 1230
 546 remx901 remainder 123e1              200000 -> 1230
 547 remx902 remainder 123e1               20000 -> 1230
 548 remx903 remainder 123e1                2000 -> 1230
 549 remx904 remainder 123e1                 200 ->   30
 550 remx905 remainder 123e1                  20 ->   10
 551 remx906 remainder 123e1                   2 ->    0
 552
 553 remx909 remainder 123e1   50000000000000000 -> 1230
 554 remx910 remainder 123e1    5000000000000000 -> 1230
 555 remx911 remainder 123e1     500000000000000 -> 1230
 556 remx912 remainder 123e1      50000000000000 -> 1230
 557 remx913 remainder 123e1       5000000000000 -> 1230
 558 remx914 remainder 123e1        500000000000 -> 1230
 559 remx915 remainder 123e1         50000000000 -> 1230
 560 remx916 remainder 123e1          5000000000 -> 1230
 561 remx917 remainder 123e1           500000000 -> 1230
 562 remx919 remainder 123e1            50000000 -> 1230
 563 remx920 remainder 123e1             5000000 -> 1230
 564 remx921 remainder 123e1              500000 -> 1230
 565 remx922 remainder 123e1               50000 -> 1230
 566 remx923 remainder 123e1                5000 -> 1230
 567 remx924 remainder 123e1                 500 ->  230
 568 remx925 remainder 123e1                  50 ->   30
 569 remx926 remainder 123e1                   5 ->    0
 570
 571 remx929 remainder 123e1   90000000000000000 -> 1230
 572 remx930 remainder 123e1    9000000000000000 -> 1230
 573 remx931 remainder 123e1     900000000000000 -> 1230
 574 remx932 remainder 123e1      90000000000000 -> 1230
 575 remx933 remainder 123e1       9000000000000 -> 1230
 576 remx934 remainder 123e1        900000000000 -> 1230
 577 remx935 remainder 123e1         90000000000 -> 1230
 578 remx936 remainder 123e1          9000000000 -> 1230
 579 remx937 remainder 123e1           900000000 -> 1230
 580 remx939 remainder 123e1            90000000 -> 1230
 581 remx940 remainder 123e1             9000000 -> 1230
 582 remx941 remainder 123e1              900000 -> 1230
 583 remx942 remainder 123e1               90000 -> 1230
 584 remx943 remainder 123e1                9000 -> 1230
 585 remx944 remainder 123e1                 900 ->  330
 586 remx945 remainder 123e1                  90 ->   60
 587 remx946 remainder 123e1                   9 ->    6
 588
 589 remx950 remainder 123e1   10000000000000000 -> 1230
 590 remx951 remainder 123e1   100000000000000000 -> 1230
 591 remx952 remainder 123e1   1000000000000000000 -> 1230
 592 remx953 remainder 123e1   10000000000000000000 -> 1230
 593 remx954 remainder 123e1   100000000000000000000 -> 1230
 594 remx955 remainder 123e1   1000000000000000000000 -> 1230
 595 remx956 remainder 123e1   10000000000000000000000 -> 1230
 596 remx957 remainder 123e1   100000000000000000000000 -> 1230
 597 remx958 remainder 123e1   1000000000000000000000000 -> 1230
 598 remx959 remainder 123e1   10000000000000000000000000 -> 1230
 599
 600 remx960 remainder 123e1   19999999999999999 -> 1230
 601 remx961 remainder 123e1   199999999999999990 -> 1230
 602 remx962 remainder 123e1   1999999999999999999 -> 1230
 603 remx963 remainder 123e1   19999999999999999990 -> 1230
 604 remx964 remainder 123e1   199999999999999999999 -> 1230
 605 remx965 remainder 123e1   1999999999999999999990 -> 1230
 606 remx966 remainder 123e1   19999999999999999999999 -> 1230
 607 remx967 remainder 123e1   199999999999999999999990 -> 1230
 608 remx968 remainder 123e1   1999999999999999999999999 -> 1230
 609 remx969 remainder 123e1   19999999999999999999999990 -> 1230
 610
 611 remx970 remainder 1e1   10000000000000000 -> 10
 612 remx971 remainder 1e1   100000000000000000 -> 10
 613 remx972 remainder 1e1   1000000000000000000 -> 10
 614 remx973 remainder 1e1   10000000000000000000 -> 10
 615 remx974 remainder 1e1   100000000000000000000 -> 10
 616 remx975 remainder 1e1   1000000000000000000000 -> 10
 617 remx976 remainder 1e1   10000000000000000000000 -> 10
 618 remx977 remainder 1e1   100000000000000000000000 -> 10
 619 remx978 remainder 1e1   1000000000000000000000000 -> 10
 620 remx979 remainder 1e1   10000000000000000000000000 -> 10
 621
 622 remx980 remainder 123e1 1000E999999 -> 1.23E+3  -- 123E+1 internally
 623
 624 -- overflow and underflow tests [from divide]
 625 precision: 9
 626 maxexponent: 999999999
 627 minexponent: -999999999
 628 remx990 remainder +1.23456789012345E-0 9E+999999999 -> 1.23456789 Inexact Rounded
 629 remx991 remainder 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible
 630 remx992 remainder +0.100 9E+999999999               -> 0.100
 631 remx993 remainder 9E-999999999 +9.100               -> 9E-999999999
 632 remx995 remainder -1.23456789012345E-0 9E+999999999 -> -1.23456789 Inexact Rounded
 633 remx996 remainder 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible
 634 remx997 remainder -0.100 9E+999999999               -> -0.100
 635 remx998 remainder 9E-999999999 -9.100               -> 9E-999999999
 636
 637 -- Null tests
 638 remx1000 remainder 10  # -> NaN Invalid_operation
 639 remx1001 remainder  # 10 -> NaN Invalid_operation
 640