github.com/cockroachdb/apd/v3@v3.2.0/testdata/remainder.decTest (about)

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