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