summaryrefslogtreecommitdiffstats
path: root/Lib/test/decimaltestdata/rounding.decTest
blob: 95f13266026c6ed5755c0e8d270e5f59bd895d75 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
------------------------------------------------------------------------
-- rounding.decTest -- decimal rounding modes testcases               --
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.59

-- These tests require that implementations take account of residues in
-- order to get correct results for some rounding modes.  Rather than
-- single rounding tests we therefore need tests for most operators.
-- [We do assume add/minus/plus/subtract are common paths, however, as
-- is rounding of negatives (if the latter works for addition, assume it
-- works for the others, too).]
--
-- Round-for-reround (05UP) is tested as a separate block, mostly for
-- 'historical' reasons.
--
-- Underflow Subnormal and overflow behaviours are tested under the
-- individual operators.

extended:    1
precision:   5           -- for easier visual inspection
maxExponent: 999
minexponent: -999

-- Addition operators -------------------------------------------------
rounding: down

radx100  add 12345 -0.1       -> 12344 Inexact Rounded
radx101  add 12345 -0.01      -> 12344 Inexact Rounded
radx102  add 12345 -0.001     -> 12344 Inexact Rounded
radx103  add 12345 -0.00001   -> 12344 Inexact Rounded
radx104  add 12345 -0.000001  -> 12344 Inexact Rounded
radx105  add 12345 -0.0000001 -> 12344 Inexact Rounded
radx106  add 12345  0         -> 12345
radx107  add 12345  0.0000001 -> 12345 Inexact Rounded
radx108  add 12345  0.000001  -> 12345 Inexact Rounded
radx109  add 12345  0.00001   -> 12345 Inexact Rounded
radx110  add 12345  0.0001    -> 12345 Inexact Rounded
radx111  add 12345  0.001     -> 12345 Inexact Rounded
radx112  add 12345  0.01      -> 12345 Inexact Rounded
radx113  add 12345  0.1       -> 12345 Inexact Rounded

radx115  add 12346  0.49999   -> 12346 Inexact Rounded
radx116  add 12346  0.5       -> 12346 Inexact Rounded
radx117  add 12346  0.50001   -> 12346 Inexact Rounded

radx120  add 12345  0.4       -> 12345 Inexact Rounded
radx121  add 12345  0.49      -> 12345 Inexact Rounded
radx122  add 12345  0.499     -> 12345 Inexact Rounded
radx123  add 12345  0.49999   -> 12345 Inexact Rounded
radx124  add 12345  0.5       -> 12345 Inexact Rounded
radx125  add 12345  0.50001   -> 12345 Inexact Rounded
radx126  add 12345  0.5001    -> 12345 Inexact Rounded
radx127  add 12345  0.501     -> 12345 Inexact Rounded
radx128  add 12345  0.51      -> 12345 Inexact Rounded
radx129  add 12345  0.6       -> 12345 Inexact Rounded

rounding: half_down

radx140  add 12345 -0.1       -> 12345 Inexact Rounded
radx141  add 12345 -0.01      -> 12345 Inexact Rounded
radx142  add 12345 -0.001     -> 12345 Inexact Rounded
radx143  add 12345 -0.00001   -> 12345 Inexact Rounded
radx144  add 12345 -0.000001  -> 12345 Inexact Rounded
radx145  add 12345 -0.0000001 -> 12345 Inexact Rounded
radx146  add 12345  0         -> 12345
radx147  add 12345  0.0000001 -> 12345 Inexact Rounded
radx148  add 12345  0.000001  -> 12345 Inexact Rounded
radx149  add 12345  0.00001   -> 12345 Inexact Rounded
radx150  add 12345  0.0001    -> 12345 Inexact Rounded
radx151  add 12345  0.001     -> 12345 Inexact Rounded
radx152  add 12345  0.01      -> 12345 Inexact Rounded
radx153  add 12345  0.1       -> 12345 Inexact Rounded

radx155  add 12346  0.49999   -> 12346 Inexact Rounded
radx156  add 12346  0.5       -> 12346 Inexact Rounded
radx157  add 12346  0.50001   -> 12347 Inexact Rounded

radx160  add 12345  0.4       -> 12345 Inexact Rounded
radx161  add 12345  0.49      -> 12345 Inexact Rounded
radx162  add 12345  0.499     -> 12345 Inexact Rounded
radx163  add 12345  0.49999   -> 12345 Inexact Rounded
radx164  add 12345  0.5       -> 12345 Inexact Rounded
radx165  add 12345  0.50001   -> 12346 Inexact Rounded
radx166  add 12345  0.5001    -> 12346 Inexact Rounded
radx167  add 12345  0.501     -> 12346 Inexact Rounded
radx168  add 12345  0.51      -> 12346 Inexact Rounded
radx169  add 12345  0.6       -> 12346 Inexact Rounded

rounding: half_even

radx170  add 12345 -0.1       -> 12345 Inexact Rounded
radx171  add 12345 -0.01      -> 12345 Inexact Rounded
radx172  add 12345 -0.001     -> 12345 Inexact Rounded
radx173  add 12345 -0.00001   -> 12345 Inexact Rounded
radx174  add 12345 -0.000001  -> 12345 Inexact Rounded
radx175  add 12345 -0.0000001 -> 12345 Inexact Rounded
radx176  add 12345  0         -> 12345
radx177  add 12345  0.0000001 -> 12345 Inexact Rounded
radx178  add 12345  0.000001  -> 12345 Inexact Rounded
radx179  add 12345  0.00001   -> 12345 Inexact Rounded
radx180  add 12345  0.0001    -> 12345 Inexact Rounded
radx181  add 12345  0.001     -> 12345 Inexact Rounded
radx182  add 12345  0.01      -> 12345 Inexact Rounded
radx183  add 12345  0.1       -> 12345 Inexact Rounded

radx185  add 12346  0.49999   -> 12346 Inexact Rounded
radx186  add 12346  0.5       -> 12346 Inexact Rounded
radx187  add 12346  0.50001   -> 12347 Inexact Rounded

radx190  add 12345  0.4       -> 12345 Inexact Rounded
radx191  add 12345  0.49      -> 12345 Inexact Rounded
radx192  add 12345  0.499     -> 12345 Inexact Rounded
radx193  add 12345  0.49999   -> 12345 Inexact Rounded
radx194  add 12345  0.5       -> 12346 Inexact Rounded
radx195  add 12345  0.50001   -> 12346 Inexact Rounded
radx196  add 12345  0.5001    -> 12346 Inexact Rounded
radx197  add 12345  0.501     -> 12346 Inexact Rounded
radx198  add 12345  0.51      -> 12346 Inexact Rounded
radx199  add 12345  0.6       -> 12346 Inexact Rounded

rounding: half_up

radx200  add 12345 -0.1       -> 12345 Inexact Rounded
radx201  add 12345 -0.01      -> 12345 Inexact Rounded
radx202  add 12345 -0.001     -> 12345 Inexact Rounded
radx203  add 12345 -0.00001   -> 12345 Inexact Rounded
radx204  add 12345 -0.000001  -> 12345 Inexact Rounded
radx205  add 12345 -0.0000001 -> 12345 Inexact Rounded
radx206  add 12345  0         -> 12345
radx207  add 12345  0.0000001 -> 12345 Inexact Rounded
radx208  add 12345  0.000001  -> 12345 Inexact Rounded
radx209  add 12345  0.00001   -> 12345 Inexact Rounded
radx210  add 12345  0.0001    -> 12345 Inexact Rounded
radx211  add 12345  0.001     -> 12345 Inexact Rounded
radx212  add 12345  0.01      -> 12345 Inexact Rounded
radx213  add 12345  0.1       -> 12345 Inexact Rounded

radx215  add 12346  0.49999   -> 12346 Inexact Rounded
radx216  add 12346  0.5       -> 12347 Inexact Rounded
radx217  add 12346  0.50001   -> 12347 Inexact Rounded

radx220  add 12345  0.4       -> 12345 Inexact Rounded
radx221  add 12345  0.49      -> 12345 Inexact Rounded
radx222  add 12345  0.499     -> 12345 Inexact Rounded
radx223  add 12345  0.49999   -> 12345 Inexact Rounded
radx224  add 12345  0.5       -> 12346 Inexact Rounded
radx225  add 12345  0.50001   -> 12346 Inexact Rounded
radx226  add 12345  0.5001    -> 12346 Inexact Rounded
radx227  add 12345  0.501     -> 12346 Inexact Rounded
radx228  add 12345  0.51      -> 12346 Inexact Rounded
radx229  add 12345  0.6       -> 12346 Inexact Rounded

rounding: up

radx230  add 12345 -0.1       -> 12345 Inexact Rounded
radx231  add 12345 -0.01      -> 12345 Inexact Rounded
radx232  add 12345 -0.001     -> 12345 Inexact Rounded
radx233  add 12345 -0.00001   -> 12345 Inexact Rounded
radx234  add 12345 -0.000001  -> 12345 Inexact Rounded
radx235  add 12345 -0.0000001 -> 12345 Inexact Rounded
radx236  add 12345  0         -> 12345
radx237  add 12345  0.0000001 -> 12346 Inexact Rounded
radx238  add 12345  0.000001  -> 12346 Inexact Rounded
radx239  add 12345  0.00001   -> 12346 Inexact Rounded
radx240  add 12345  0.0001    -> 12346 Inexact Rounded
radx241  add 12345  0.001     -> 12346 Inexact Rounded
radx242  add 12345  0.01      -> 12346 Inexact Rounded
radx243  add 12345  0.1       -> 12346 Inexact Rounded

radx245  add 12346  0.49999   -> 12347 Inexact Rounded
radx246  add 12346  0.5       -> 12347 Inexact Rounded
radx247  add 12346  0.50001   -> 12347 Inexact Rounded

radx250  add 12345  0.4       -> 12346 Inexact Rounded
radx251  add 12345  0.49      -> 12346 Inexact Rounded
radx252  add 12345  0.499     -> 12346 Inexact Rounded
radx253  add 12345  0.49999   -> 12346 Inexact Rounded
radx254  add 12345  0.5       -> 12346 Inexact Rounded
radx255  add 12345  0.50001   -> 12346 Inexact Rounded
radx256  add 12345  0.5001    -> 12346 Inexact Rounded
radx257  add 12345  0.501     -> 12346 Inexact Rounded
radx258  add 12345  0.51      -> 12346 Inexact Rounded
radx259  add 12345  0.6       -> 12346 Inexact Rounded

rounding: floor

radx300  add 12345 -0.1       -> 12344 Inexact Rounded
radx301  add 12345 -0.01      -> 12344 Inexact Rounded
radx302  add 12345 -0.001     -> 12344 Inexact Rounded
radx303  add 12345 -0.00001   -> 12344 Inexact Rounded
radx304  add 12345 -0.000001  -> 12344 Inexact Rounded
radx305  add 12345 -0.0000001 -> 12344 Inexact Rounded
radx306  add 12345  0         -> 12345
radx307  add 12345  0.0000001 -> 12345 Inexact Rounded
radx308  add 12345  0.000001  -> 12345 Inexact Rounded
radx309  add 12345  0.00001   -> 12345 Inexact Rounded
radx310  add 12345  0.0001    -> 12345 Inexact Rounded
radx311  add 12345  0.001     -> 12345 Inexact Rounded
radx312  add 12345  0.01      -> 12345 Inexact Rounded
radx313  add 12345  0.1       -> 12345 Inexact Rounded

radx315  add 12346  0.49999   -> 12346 Inexact Rounded
radx316  add 12346  0.5       -> 12346 Inexact Rounded
radx317  add 12346  0.50001   -> 12346 Inexact Rounded

radx320  add 12345  0.4       -> 12345 Inexact Rounded
radx321  add 12345  0.49      -> 12345 Inexact Rounded
radx322  add 12345  0.499     -> 12345 Inexact Rounded
radx323  add 12345  0.49999   -> 12345 Inexact Rounded
radx324  add 12345  0.5       -> 12345 Inexact Rounded
radx325  add 12345  0.50001   -> 12345 Inexact Rounded
radx326  add 12345  0.5001    -> 12345 Inexact Rounded
radx327  add 12345  0.501     -> 12345 Inexact Rounded
radx328  add 12345  0.51      -> 12345 Inexact Rounded
radx329  add 12345  0.6       -> 12345 Inexact Rounded

rounding: ceiling

radx330  add 12345 -0.1       -> 12345 Inexact Rounded
radx331  add 12345 -0.01      -> 12345 Inexact Rounded
radx332  add 12345 -0.001     -> 12345 Inexact Rounded
radx333  add 12345 -0.00001   -> 12345 Inexact Rounded
radx334  add 12345 -0.000001  -> 12345 Inexact Rounded
radx335  add 12345 -0.0000001 -> 12345 Inexact Rounded
radx336  add 12345  0         -> 12345
radx337  add 12345  0.0000001 -> 12346 Inexact Rounded
radx338  add 12345  0.000001  -> 12346 Inexact Rounded
radx339  add 12345  0.00001   -> 12346 Inexact Rounded
radx340  add 12345  0.0001    -> 12346 Inexact Rounded
radx341  add 12345  0.001     -> 12346 Inexact Rounded
radx342  add 12345  0.01      -> 12346 Inexact Rounded
radx343  add 12345  0.1       -> 12346 Inexact Rounded

radx345  add 12346  0.49999   -> 12347 Inexact Rounded
radx346  add 12346  0.5       -> 12347 Inexact Rounded
radx347  add 12346  0.50001   -> 12347 Inexact Rounded

radx350  add 12345  0.4       -> 12346 Inexact Rounded
radx351  add 12345  0.49      -> 12346 Inexact Rounded
radx352  add 12345  0.499     -> 12346 Inexact Rounded
radx353  add 12345  0.49999   -> 12346 Inexact Rounded
radx354  add 12345  0.5       -> 12346 Inexact Rounded
radx355  add 12345  0.50001   -> 12346 Inexact Rounded
radx356  add 12345  0.5001    -> 12346 Inexact Rounded
radx357  add 12345  0.501     -> 12346 Inexact Rounded
radx358  add 12345  0.51      -> 12346 Inexact Rounded
radx359  add 12345  0.6       -> 12346 Inexact Rounded

-- negatives...

rounding: down

rsux100  add -12345 -0.1       -> -12345 Inexact Rounded
rsux101  add -12345 -0.01      -> -12345 Inexact Rounded
rsux102  add -12345 -0.001     -> -12345 Inexact Rounded
rsux103  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux104  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux105  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux106  add -12345  0         -> -12345
rsux107  add -12345  0.0000001 -> -12344 Inexact Rounded
rsux108  add -12345  0.000001  -> -12344 Inexact Rounded
rsux109  add -12345  0.00001   -> -12344 Inexact Rounded
rsux110  add -12345  0.0001    -> -12344 Inexact Rounded
rsux111  add -12345  0.001     -> -12344 Inexact Rounded
rsux112  add -12345  0.01      -> -12344 Inexact Rounded
rsux113  add -12345  0.1       -> -12344 Inexact Rounded

rsux115  add -12346  0.49999   -> -12345 Inexact Rounded
rsux116  add -12346  0.5       -> -12345 Inexact Rounded
rsux117  add -12346  0.50001   -> -12345 Inexact Rounded

rsux120  add -12345  0.4       -> -12344 Inexact Rounded
rsux121  add -12345  0.49      -> -12344 Inexact Rounded
rsux122  add -12345  0.499     -> -12344 Inexact Rounded
rsux123  add -12345  0.49999   -> -12344 Inexact Rounded
rsux124  add -12345  0.5       -> -12344 Inexact Rounded
rsux125  add -12345  0.50001   -> -12344 Inexact Rounded
rsux126  add -12345  0.5001    -> -12344 Inexact Rounded
rsux127  add -12345  0.501     -> -12344 Inexact Rounded
rsux128  add -12345  0.51      -> -12344 Inexact Rounded
rsux129  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_down

rsux140  add -12345 -0.1       -> -12345 Inexact Rounded
rsux141  add -12345 -0.01      -> -12345 Inexact Rounded
rsux142  add -12345 -0.001     -> -12345 Inexact Rounded
rsux143  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux144  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux145  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux146  add -12345  0         -> -12345
rsux147  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux148  add -12345  0.000001  -> -12345 Inexact Rounded
rsux149  add -12345  0.00001   -> -12345 Inexact Rounded
rsux150  add -12345  0.0001    -> -12345 Inexact Rounded
rsux151  add -12345  0.001     -> -12345 Inexact Rounded
rsux152  add -12345  0.01      -> -12345 Inexact Rounded
rsux153  add -12345  0.1       -> -12345 Inexact Rounded

rsux155  add -12346  0.49999   -> -12346 Inexact Rounded
rsux156  add -12346  0.5       -> -12345 Inexact Rounded
rsux157  add -12346  0.50001   -> -12345 Inexact Rounded

rsux160  add -12345  0.4       -> -12345 Inexact Rounded
rsux161  add -12345  0.49      -> -12345 Inexact Rounded
rsux162  add -12345  0.499     -> -12345 Inexact Rounded
rsux163  add -12345  0.49999   -> -12345 Inexact Rounded
rsux164  add -12345  0.5       -> -12344 Inexact Rounded
rsux165  add -12345  0.50001   -> -12344 Inexact Rounded
rsux166  add -12345  0.5001    -> -12344 Inexact Rounded
rsux167  add -12345  0.501     -> -12344 Inexact Rounded
rsux168  add -12345  0.51      -> -12344 Inexact Rounded
rsux169  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_even

rsux170  add -12345 -0.1       -> -12345 Inexact Rounded
rsux171  add -12345 -0.01      -> -12345 Inexact Rounded
rsux172  add -12345 -0.001     -> -12345 Inexact Rounded
rsux173  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux174  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux175  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux176  add -12345  0         -> -12345
rsux177  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux178  add -12345  0.000001  -> -12345 Inexact Rounded
rsux179  add -12345  0.00001   -> -12345 Inexact Rounded
rsux180  add -12345  0.0001    -> -12345 Inexact Rounded
rsux181  add -12345  0.001     -> -12345 Inexact Rounded
rsux182  add -12345  0.01      -> -12345 Inexact Rounded
rsux183  add -12345  0.1       -> -12345 Inexact Rounded

rsux185  add -12346  0.49999   -> -12346 Inexact Rounded
rsux186  add -12346  0.5       -> -12346 Inexact Rounded
rsux187  add -12346  0.50001   -> -12345 Inexact Rounded

rsux190  add -12345  0.4       -> -12345 Inexact Rounded
rsux191  add -12345  0.49      -> -12345 Inexact Rounded
rsux192  add -12345  0.499     -> -12345 Inexact Rounded
rsux193  add -12345  0.49999   -> -12345 Inexact Rounded
rsux194  add -12345  0.5       -> -12344 Inexact Rounded
rsux195  add -12345  0.50001   -> -12344 Inexact Rounded
rsux196  add -12345  0.5001    -> -12344 Inexact Rounded
rsux197  add -12345  0.501     -> -12344 Inexact Rounded
rsux198  add -12345  0.51      -> -12344 Inexact Rounded
rsux199  add -12345  0.6       -> -12344 Inexact Rounded

rounding: half_up

rsux200  add -12345 -0.1       -> -12345 Inexact Rounded
rsux201  add -12345 -0.01      -> -12345 Inexact Rounded
rsux202  add -12345 -0.001     -> -12345 Inexact Rounded
rsux203  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux204  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux205  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux206  add -12345  0         -> -12345
rsux207  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux208  add -12345  0.000001  -> -12345 Inexact Rounded
rsux209  add -12345  0.00001   -> -12345 Inexact Rounded
rsux210  add -12345  0.0001    -> -12345 Inexact Rounded
rsux211  add -12345  0.001     -> -12345 Inexact Rounded
rsux212  add -12345  0.01      -> -12345 Inexact Rounded
rsux213  add -12345  0.1       -> -12345 Inexact Rounded

rsux215  add -12346  0.49999   -> -12346 Inexact Rounded
rsux216  add -12346  0.5       -> -12346 Inexact Rounded
rsux217  add -12346  0.50001   -> -12345 Inexact Rounded

rsux220  add -12345  0.4       -> -12345 Inexact Rounded
rsux221  add -12345  0.49      -> -12345 Inexact Rounded
rsux222  add -12345  0.499     -> -12345 Inexact Rounded
rsux223  add -12345  0.49999   -> -12345 Inexact Rounded
rsux224  add -12345  0.5       -> -12345 Inexact Rounded
rsux225  add -12345  0.50001   -> -12344 Inexact Rounded
rsux226  add -12345  0.5001    -> -12344 Inexact Rounded
rsux227  add -12345  0.501     -> -12344 Inexact Rounded
rsux228  add -12345  0.51      -> -12344 Inexact Rounded
rsux229  add -12345  0.6       -> -12344 Inexact Rounded

rounding: up

rsux230  add -12345 -0.1       -> -12346 Inexact Rounded
rsux231  add -12345 -0.01      -> -12346 Inexact Rounded
rsux232  add -12345 -0.001     -> -12346 Inexact Rounded
rsux233  add -12345 -0.00001   -> -12346 Inexact Rounded
rsux234  add -12345 -0.000001  -> -12346 Inexact Rounded
rsux235  add -12345 -0.0000001 -> -12346 Inexact Rounded
rsux236  add -12345  0         -> -12345
rsux237  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux238  add -12345  0.000001  -> -12345 Inexact Rounded
rsux239  add -12345  0.00001   -> -12345 Inexact Rounded
rsux240  add -12345  0.0001    -> -12345 Inexact Rounded
rsux241  add -12345  0.001     -> -12345 Inexact Rounded
rsux242  add -12345  0.01      -> -12345 Inexact Rounded
rsux243  add -12345  0.1       -> -12345 Inexact Rounded

rsux245  add -12346  0.49999   -> -12346 Inexact Rounded
rsux246  add -12346  0.5       -> -12346 Inexact Rounded
rsux247  add -12346  0.50001   -> -12346 Inexact Rounded

rsux250  add -12345  0.4       -> -12345 Inexact Rounded
rsux251  add -12345  0.49      -> -12345 Inexact Rounded
rsux252  add -12345  0.499     -> -12345 Inexact Rounded
rsux253  add -12345  0.49999   -> -12345 Inexact Rounded
rsux254  add -12345  0.5       -> -12345 Inexact Rounded
rsux255  add -12345  0.50001   -> -12345 Inexact Rounded
rsux256  add -12345  0.5001    -> -12345 Inexact Rounded
rsux257  add -12345  0.501     -> -12345 Inexact Rounded
rsux258  add -12345  0.51      -> -12345 Inexact Rounded
rsux259  add -12345  0.6       -> -12345 Inexact Rounded

rounding: floor

rsux300  add -12345 -0.1       -> -12346 Inexact Rounded
rsux301  add -12345 -0.01      -> -12346 Inexact Rounded
rsux302  add -12345 -0.001     -> -12346 Inexact Rounded
rsux303  add -12345 -0.00001   -> -12346 Inexact Rounded
rsux304  add -12345 -0.000001  -> -12346 Inexact Rounded
rsux305  add -12345 -0.0000001 -> -12346 Inexact Rounded
rsux306  add -12345  0         -> -12345
rsux307  add -12345  0.0000001 -> -12345 Inexact Rounded
rsux308  add -12345  0.000001  -> -12345 Inexact Rounded
rsux309  add -12345  0.00001   -> -12345 Inexact Rounded
rsux310  add -12345  0.0001    -> -12345 Inexact Rounded
rsux311  add -12345  0.001     -> -12345 Inexact Rounded
rsux312  add -12345  0.01      -> -12345 Inexact Rounded
rsux313  add -12345  0.1       -> -12345 Inexact Rounded

rsux315  add -12346  0.49999   -> -12346 Inexact Rounded
rsux316  add -12346  0.5       -> -12346 Inexact Rounded
rsux317  add -12346  0.50001   -> -12346 Inexact Rounded

rsux320  add -12345  0.4       -> -12345 Inexact Rounded
rsux321  add -12345  0.49      -> -12345 Inexact Rounded
rsux322  add -12345  0.499     -> -12345 Inexact Rounded
rsux323  add -12345  0.49999   -> -12345 Inexact Rounded
rsux324  add -12345  0.5       -> -12345 Inexact Rounded
rsux325  add -12345  0.50001   -> -12345 Inexact Rounded
rsux326  add -12345  0.5001    -> -12345 Inexact Rounded
rsux327  add -12345  0.501     -> -12345 Inexact Rounded
rsux328  add -12345  0.51      -> -12345 Inexact Rounded
rsux329  add -12345  0.6       -> -12345 Inexact Rounded

rounding: ceiling

rsux330  add -12345 -0.1       -> -12345 Inexact Rounded
rsux331  add -12345 -0.01      -> -12345 Inexact Rounded
rsux332  add -12345 -0.001     -> -12345 Inexact Rounded
rsux333  add -12345 -0.00001   -> -12345 Inexact Rounded
rsux334  add -12345 -0.000001  -> -12345 Inexact Rounded
rsux335  add -12345 -0.0000001 -> -12345 Inexact Rounded
rsux336  add -12345  0         -> -12345
rsux337  add -12345  0.0000001 -> -12344 Inexact Rounded
rsux338  add -12345  0.000001  -> -12344 Inexact Rounded
rsux339  add -12345  0.00001   -> -12344 Inexact Rounded
rsux340  add -12345  0.0001    -> -12344 Inexact Rounded
rsux341  add -12345  0.001     -> -12344 Inexact Rounded
rsux342  add -12345  0.01      -> -12344 Inexact Rounded
rsux343  add -12345  0.1       -> -12344 Inexact Rounded

rsux345  add -12346  0.49999   -> -12345 Inexact Rounded
rsux346  add -12346  0.5       -> -12345 Inexact Rounded
rsux347  add -12346  0.50001   -> -12345 Inexact Rounded

rsux350  add -12345  0.4       -> -12344 Inexact Rounded
rsux351  add -12345  0.49      -> -12344 Inexact Rounded
rsux352  add -12345  0.499     -> -12344 Inexact Rounded
rsux353  add -12345  0.49999   -> -12344 Inexact Rounded
rsux354  add -12345  0.5       -> -12344 Inexact Rounded
rsux355  add -12345  0.50001   -> -12344 Inexact Rounded
rsux356  add -12345  0.5001    -> -12344 Inexact Rounded
rsux357  add -12345  0.501     -> -12344 Inexact Rounded
rsux358  add -12345  0.51      -> -12344 Inexact Rounded
rsux359  add -12345  0.6       -> -12344 Inexact Rounded

-- Check cancellation subtractions
-- (The IEEE 854 'curious rule' in $6.3)

rounding: down
rzex001  add  0    0    ->  0
rzex002  add  0   -0    ->  0
rzex003  add -0    0    ->  0
rzex004  add -0   -0    -> -0
rzex005  add  1   -1    ->  0
rzex006  add -1    1    ->  0
rzex007  add  1.5 -1.5  ->  0.0
rzex008  add -1.5  1.5  ->  0.0
rzex009  add  2   -2    ->  0
rzex010  add -2    2    ->  0

rounding: up
rzex011  add  0    0    ->  0
rzex012  add  0   -0    ->  0
rzex013  add -0    0    ->  0
rzex014  add -0   -0    -> -0
rzex015  add  1   -1    ->  0
rzex016  add -1    1    ->  0
rzex017  add  1.5 -1.5  ->  0.0
rzex018  add -1.5  1.5  ->  0.0
rzex019  add  2   -2    ->  0
rzex020  add -2    2    ->  0

rounding: half_up
rzex021  add  0    0    ->  0
rzex022  add  0   -0    ->  0
rzex023  add -0    0    ->  0
rzex024  add -0   -0    -> -0
rzex025  add  1   -1    ->  0
rzex026  add -1    1    ->  0
rzex027  add  1.5 -1.5  ->  0.0
rzex028  add -1.5  1.5  ->  0.0
rzex029  add  2   -2    ->  0
rzex030  add -2    2    ->  0

rounding: half_down
rzex031  add  0    0    ->  0
rzex032  add  0   -0    ->  0
rzex033  add -0    0    ->  0
rzex034  add -0   -0    -> -0
rzex035  add  1   -1    ->  0
rzex036  add -1    1    ->  0
rzex037  add  1.5 -1.5  ->  0.0
rzex038  add -1.5  1.5  ->  0.0
rzex039  add  2   -2    ->  0
rzex040  add -2    2    ->  0

rounding: half_even
rzex041  add  0    0    ->  0
rzex042  add  0   -0    ->  0
rzex043  add -0    0    ->  0
rzex044  add -0   -0    -> -0
rzex045  add  1   -1    ->  0
rzex046  add -1    1    ->  0
rzex047  add  1.5 -1.5  ->  0.0
rzex048  add -1.5  1.5  ->  0.0
rzex049  add  2   -2    ->  0
rzex050  add -2    2    ->  0

rounding: floor
rzex051  add  0    0    ->  0
rzex052  add  0   -0    -> -0    -- here are two 'curious'
rzex053  add -0    0    -> -0    --
rzex054  add -0   -0    -> -0
rzex055  add  1   -1    -> -0    -- here are the rest
rzex056  add -1    1    -> -0    -- ..
rzex057  add  1.5 -1.5  -> -0.0  -- ..
rzex058  add -1.5  1.5  -> -0.0  -- ..
rzex059  add  2   -2    -> -0    -- ..
rzex060  add -2    2    -> -0    -- ..

rounding: ceiling
rzex061  add  0    0    ->  0
rzex062  add  0   -0    ->  0
rzex063  add -0    0    ->  0
rzex064  add -0   -0    -> -0
rzex065  add  1   -1    ->  0
rzex066  add -1    1    ->  0
rzex067  add  1.5 -1.5  ->  0.0
rzex068  add -1.5  1.5  ->  0.0
rzex069  add  2   -2    ->  0
rzex070  add -2    2    ->  0


-- Division operators -------------------------------------------------

rounding: down
rdvx101  divide 12345  1         ->  12345
rdvx102  divide 12345  1.0001    ->  12343 Inexact Rounded
rdvx103  divide 12345  1.001     ->  12332 Inexact Rounded
rdvx104  divide 12345  1.01      ->  12222 Inexact Rounded
rdvx105  divide 12345  1.1       ->  11222 Inexact Rounded
rdvx106  divide 12355  4         ->   3088.7 Inexact Rounded
rdvx107  divide 12345  4         ->   3086.2 Inexact Rounded
rdvx108  divide 12355  4.0001    ->   3088.6 Inexact Rounded
rdvx109  divide 12345  4.0001    ->   3086.1 Inexact Rounded
rdvx110  divide 12345  4.9       ->   2519.3 Inexact Rounded
rdvx111  divide 12345  4.99      ->   2473.9 Inexact Rounded
rdvx112  divide 12345  4.999     ->   2469.4 Inexact Rounded
rdvx113  divide 12345  4.9999    ->   2469.0 Inexact Rounded
rdvx114  divide 12345  5         ->   2469
rdvx115  divide 12345  5.0001    ->  2468.9 Inexact Rounded
rdvx116  divide 12345  5.001     ->  2468.5 Inexact Rounded
rdvx117  divide 12345  5.01      ->  2464.0 Inexact Rounded
rdvx118  divide 12345  5.1       ->  2420.5 Inexact Rounded

rounding: half_down
rdvx201  divide 12345  1         ->  12345
rdvx202  divide 12345  1.0001    ->  12344 Inexact Rounded
rdvx203  divide 12345  1.001     ->  12333 Inexact Rounded
rdvx204  divide 12345  1.01      ->  12223 Inexact Rounded
rdvx205  divide 12345  1.1       ->  11223 Inexact Rounded
rdvx206  divide 12355  4         ->   3088.7 Inexact Rounded
rdvx207  divide 12345  4         ->   3086.2 Inexact Rounded
rdvx208  divide 12355  4.0001    ->   3088.7 Inexact Rounded
rdvx209  divide 12345  4.0001    ->   3086.2 Inexact Rounded
rdvx210  divide 12345  4.9       ->   2519.4 Inexact Rounded
rdvx211  divide 12345  4.99      ->   2473.9 Inexact Rounded
rdvx212  divide 12345  4.999     ->   2469.5 Inexact Rounded
rdvx213  divide 12345  4.9999    ->   2469.0 Inexact Rounded
rdvx214  divide 12345  5         ->   2469
rdvx215  divide 12345  5.0001    ->  2469.0 Inexact Rounded
rdvx216  divide 12345  5.001     ->  2468.5 Inexact Rounded
rdvx217  divide 12345  5.01      ->  2464.1 Inexact Rounded
rdvx218  divide 12345  5.1       ->  2420.6 Inexact Rounded

rounding: half_even
rdvx301  divide 12345  1         ->  12345
rdvx302  divide 12345  1.0001    ->  12344 Inexact Rounded
rdvx303  divide 12345  1.001     ->  12333 Inexact Rounded
rdvx304  divide 12345  1.01      ->  12223 Inexact Rounded
rdvx305  divide 12345  1.1       ->  11223 Inexact Rounded
rdvx306  divide 12355  4         ->   3088.8 Inexact Rounded
rdvx307  divide 12345  4         ->   3086.2 Inexact Rounded
rdvx308  divide 12355  4.0001    ->   3088.7 Inexact Rounded
rdvx309  divide 12345  4.0001    ->   3086.2 Inexact Rounded
rdvx310  divide 12345  4.9       ->   2519.4 Inexact Rounded
rdvx311  divide 12345  4.99      ->   2473.9 Inexact Rounded
rdvx312  divide 12345  4.999     ->   2469.5 Inexact Rounded
rdvx313  divide 12345  4.9999    ->   2469.0 Inexact Rounded
rdvx314  divide 12345  5         ->   2469
rdvx315  divide 12345  5.0001    ->  2469.0 Inexact Rounded
rdvx316  divide 12345  5.001     ->  2468.5 Inexact Rounded
rdvx317  divide 12345  5.01      ->  2464.1 Inexact Rounded
rdvx318  divide 12345  5.1       ->  2420.6 Inexact Rounded

rounding: half_up
rdvx401  divide 12345  1         ->  12345
rdvx402  divide 12345  1.0001    ->  12344 Inexact Rounded
rdvx403  divide 12345  1.001     ->  12333 Inexact Rounded
rdvx404  divide 12345  1.01      ->  12223 Inexact Rounded
rdvx405  divide 12345  1.1       ->  11223 Inexact Rounded
rdvx406  divide 12355  4         ->   3088.8 Inexact Rounded
rdvx407  divide 12345  4         ->   3086.3 Inexact Rounded
rdvx408  divide 12355  4.0001    ->   3088.7 Inexact Rounded
rdvx409  divide 12345  4.0001    ->   3086.2 Inexact Rounded
rdvx410  divide 12345  4.9       ->   2519.4 Inexact Rounded
rdvx411  divide 12345  4.99      ->   2473.9 Inexact Rounded
rdvx412  divide 12345  4.999     ->   2469.5 Inexact Rounded
rdvx413  divide 12345  4.9999    ->   2469.0 Inexact Rounded
rdvx414  divide 12345  5         ->   2469
rdvx415  divide 12345  5.0001    ->  2469.0 Inexact Rounded
rdvx416  divide 12345  5.001     ->  2468.5 Inexact Rounded
rdvx417  divide 12345  5.01      ->  2464.1 Inexact Rounded
rdvx418  divide 12345  5.1       ->  2420.6 Inexact Rounded

rounding: up
rdvx501  divide 12345  1         ->  12345
rdvx502  divide 12345  1.0001    ->  12344 Inexact Rounded
rdvx503  divide 12345  1.001     ->  12333 Inexact Rounded
rdvx504  divide 12345  1.01      ->  12223 Inexact Rounded
rdvx505  divide 12345  1.1       ->  11223 Inexact Rounded
rdvx506  divide 12355  4         ->   3088.8 Inexact Rounded
rdvx507  divide 12345  4         ->   3086.3 Inexact Rounded
rdvx508  divide 12355  4.0001    ->   3088.7 Inexact Rounded
rdvx509  divide 12345  4.0001    ->   3086.2 Inexact Rounded
rdvx510  divide 12345  4.9       ->   2519.4 Inexact Rounded
rdvx511  divide 12345  4.99      ->   2474.0 Inexact Rounded
rdvx512  divide 12345  4.999     ->   2469.5 Inexact Rounded
rdvx513  divide 12345  4.9999    ->   2469.1 Inexact Rounded
rdvx514  divide 12345  5         ->   2469
rdvx515  divide 12345  5.0001    ->  2469.0 Inexact Rounded
rdvx516  divide 12345  5.001     ->  2468.6 Inexact Rounded
rdvx517  divide 12345  5.01      ->  2464.1 Inexact Rounded
rdvx518  divide 12345  5.1       ->  2420.6 Inexact Rounded

rounding: floor
rdvx601  divide 12345  1         ->  12345
rdvx602  divide 12345  1.0001    ->  12343 Inexact Rounded
rdvx603  divide 12345  1.001     ->  12332 Inexact Rounded
rdvx604  divide 12345  1.01      ->  12222 Inexact Rounded
rdvx605  divide 12345  1.1       ->  11222 Inexact Rounded
rdvx606  divide 12355  4         ->   3088.7 Inexact Rounded
rdvx607  divide 12345  4         ->   3086.2 Inexact Rounded
rdvx608  divide 12355  4.0001    ->   3088.6 Inexact Rounded
rdvx609  divide 12345  4.0001    ->   3086.1 Inexact Rounded
rdvx610  divide 12345  4.9       ->   2519.3 Inexact Rounded
rdvx611  divide 12345  4.99      ->   2473.9 Inexact Rounded
rdvx612  divide 12345  4.999     ->   2469.4 Inexact Rounded
rdvx613  divide 12345  4.9999    ->   2469.0 Inexact Rounded
rdvx614  divide 12345  5         ->   2469
rdvx615  divide 12345  5.0001    ->  2468.9 Inexact Rounded
rdvx616  divide 12345  5.001     ->  2468.5 Inexact Rounded
rdvx617  divide 12345  5.01      ->  2464.0 Inexact Rounded
rdvx618  divide 12345  5.1       ->  2420.5 Inexact Rounded

rounding: ceiling
rdvx701  divide 12345  1         ->  12345
rdvx702  divide 12345  1.0001    ->  12344 Inexact Rounded
rdvx703  divide 12345  1.001     ->  12333 Inexact Rounded
rdvx704  divide 12345  1.01      ->  12223 Inexact Rounded
rdvx705  divide 12345  1.1       ->  11223 Inexact Rounded
rdvx706  divide 12355  4         ->   3088.8 Inexact Rounded
rdvx707  divide 12345  4         ->   3086.3 Inexact Rounded
rdvx708  divide 12355  4.0001    ->   3088.7 Inexact Rounded
rdvx709  divide 12345  4.0001    ->   3086.2 Inexact Rounded
rdvx710  divide 12345  4.9       ->   2519.4 Inexact Rounded
rdvx711  divide 12345  4.99      ->   2474.0 Inexact Rounded
rdvx712  divide 12345  4.999     ->   2469.5 Inexact Rounded
rdvx713  divide 12345  4.9999    ->   2469.1 Inexact Rounded
rdvx714  divide 12345  5         ->   2469
rdvx715  divide 12345  5.0001    ->  2469.0 Inexact Rounded
rdvx716  divide 12345  5.001     ->  2468.6 Inexact Rounded
rdvx717  divide 12345  5.01      ->  2464.1 Inexact Rounded
rdvx718  divide 12345  5.1       ->  2420.6 Inexact Rounded

-- [divideInteger and remainder unaffected]

-- Multiplication operator --------------------------------------------

rounding: down
rmux101  multiply 12345  1         ->  12345
rmux102  multiply 12345  1.0001    ->  12346 Inexact Rounded
rmux103  multiply 12345  1.001     ->  12357 Inexact Rounded
rmux104  multiply 12345  1.01      ->  12468 Inexact Rounded
rmux105  multiply 12345  1.1       ->  13579 Inexact Rounded
rmux106  multiply 12345  4         ->  49380
rmux107  multiply 12345  4.0001    ->  49381 Inexact Rounded
rmux108  multiply 12345  4.9       ->  60490 Inexact Rounded
rmux109  multiply 12345  4.99      ->  61601 Inexact Rounded
rmux110  multiply 12345  4.999     ->  61712 Inexact Rounded
rmux111  multiply 12345  4.9999    ->  61723 Inexact Rounded
rmux112  multiply 12345  5         ->  61725
rmux113  multiply 12345  5.0001    ->  61726 Inexact Rounded
rmux114  multiply 12345  5.001     ->  61737 Inexact Rounded
rmux115  multiply 12345  5.01      ->  61848 Inexact Rounded
rmux116  multiply 12345  12        ->  1.4814E+5 Rounded
rmux117  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
rmux118  multiply 12355  12        ->  1.4826E+5 Rounded
rmux119  multiply 12355  13        ->  1.6061E+5 Inexact Rounded

rounding: half_down
rmux201  multiply 12345  1         ->  12345
rmux202  multiply 12345  1.0001    ->  12346 Inexact Rounded
rmux203  multiply 12345  1.001     ->  12357 Inexact Rounded
rmux204  multiply 12345  1.01      ->  12468 Inexact Rounded
rmux205  multiply 12345  1.1       ->  13579 Inexact Rounded
rmux206  multiply 12345  4         ->  49380
rmux207  multiply 12345  4.0001    ->  49381 Inexact Rounded
rmux208  multiply 12345  4.9       ->  60490 Inexact Rounded
rmux209  multiply 12345  4.99      ->  61602 Inexact Rounded
rmux210  multiply 12345  4.999     ->  61713 Inexact Rounded
rmux211  multiply 12345  4.9999    ->  61724 Inexact Rounded
rmux212  multiply 12345  5         ->  61725
rmux213  multiply 12345  5.0001    ->  61726 Inexact Rounded
rmux214  multiply 12345  5.001     ->  61737 Inexact Rounded
rmux215  multiply 12345  5.01      ->  61848 Inexact Rounded
rmux216  multiply 12345  12        ->  1.4814E+5 Rounded
rmux217  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
rmux218  multiply 12355  12        ->  1.4826E+5 Rounded
rmux219  multiply 12355  13        ->  1.6061E+5 Inexact Rounded

rounding: half_even
rmux301  multiply 12345  1         ->  12345
rmux302  multiply 12345  1.0001    ->  12346 Inexact Rounded
rmux303  multiply 12345  1.001     ->  12357 Inexact Rounded
rmux304  multiply 12345  1.01      ->  12468 Inexact Rounded
rmux305  multiply 12345  1.1       ->  13580 Inexact Rounded
rmux306  multiply 12345  4         ->  49380
rmux307  multiply 12345  4.0001    ->  49381 Inexact Rounded
rmux308  multiply 12345  4.9       ->  60490 Inexact Rounded
rmux309  multiply 12345  4.99      ->  61602 Inexact Rounded
rmux310  multiply 12345  4.999     ->  61713 Inexact Rounded
rmux311  multiply 12345  4.9999    ->  61724 Inexact Rounded
rmux312  multiply 12345  5         ->  61725
rmux313  multiply 12345  5.0001    ->  61726 Inexact Rounded
rmux314  multiply 12345  5.001     ->  61737 Inexact Rounded
rmux315  multiply 12345  5.01      ->  61848 Inexact Rounded
rmux316  multiply 12345  12        ->  1.4814E+5 Rounded
rmux317  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
rmux318  multiply 12355  12        ->  1.4826E+5 Rounded
rmux319  multiply 12355  13        ->  1.6062E+5 Inexact Rounded

rounding: half_up
rmux401  multiply 12345  1         ->  12345
rmux402  multiply 12345  1.0001    ->  12346 Inexact Rounded
rmux403  multiply 12345  1.001     ->  12357 Inexact Rounded
rmux404  multiply 12345  1.01      ->  12468 Inexact Rounded
rmux405  multiply 12345  1.1       ->  13580 Inexact Rounded
rmux406  multiply 12345  4         ->  49380
rmux407  multiply 12345  4.0001    ->  49381 Inexact Rounded
rmux408  multiply 12345  4.9       ->  60491 Inexact Rounded
rmux409  multiply 12345  4.99      ->  61602 Inexact Rounded
rmux410  multiply 12345  4.999     ->  61713 Inexact Rounded
rmux411  multiply 12345  4.9999    ->  61724 Inexact Rounded
rmux412  multiply 12345  5         ->  61725
rmux413  multiply 12345  5.0001    ->  61726 Inexact Rounded
rmux414  multiply 12345  5.001     ->  61737 Inexact Rounded
rmux415  multiply 12345  5.01      ->  61848 Inexact Rounded
rmux416  multiply 12345  12        ->  1.4814E+5 Rounded
rmux417  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
rmux418  multiply 12355  12        ->  1.4826E+5 Rounded
rmux419  multiply 12355  13        ->  1.6062E+5 Inexact Rounded

rounding: up
rmux501  multiply 12345  1         ->  12345
rmux502  multiply 12345  1.0001    ->  12347 Inexact Rounded
rmux503  multiply 12345  1.001     ->  12358 Inexact Rounded
rmux504  multiply 12345  1.01      ->  12469 Inexact Rounded
rmux505  multiply 12345  1.1       ->  13580 Inexact Rounded
rmux506  multiply 12345  4         ->  49380
rmux507  multiply 12345  4.0001    ->  49382 Inexact Rounded
rmux508  multiply 12345  4.9       ->  60491 Inexact Rounded
rmux509  multiply 12345  4.99      ->  61602 Inexact Rounded
rmux510  multiply 12345  4.999     ->  61713 Inexact Rounded
rmux511  multiply 12345  4.9999    ->  61724 Inexact Rounded
rmux512  multiply 12345  5         ->  61725
rmux513  multiply 12345  5.0001    ->  61727 Inexact Rounded
rmux514  multiply 12345  5.001     ->  61738 Inexact Rounded
rmux515  multiply 12345  5.01      ->  61849 Inexact Rounded
rmux516  multiply 12345  12        ->  1.4814E+5 Rounded
rmux517  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
rmux518  multiply 12355  12        ->  1.4826E+5 Rounded
rmux519  multiply 12355  13        ->  1.6062E+5 Inexact Rounded
-- [rmux516 & rmux518] can surprise

rounding: floor
rmux601  multiply 12345  1         ->  12345
rmux602  multiply 12345  1.0001    ->  12346 Inexact Rounded
rmux603  multiply 12345  1.001     ->  12357 Inexact Rounded
rmux604  multiply 12345  1.01      ->  12468 Inexact Rounded
rmux605  multiply 12345  1.1       ->  13579 Inexact Rounded
rmux606  multiply 12345  4         ->  49380
rmux607  multiply 12345  4.0001    ->  49381 Inexact Rounded
rmux608  multiply 12345  4.9       ->  60490 Inexact Rounded
rmux609  multiply 12345  4.99      ->  61601 Inexact Rounded
rmux610  multiply 12345  4.999     ->  61712 Inexact Rounded
rmux611  multiply 12345  4.9999    ->  61723 Inexact Rounded
rmux612  multiply 12345  5         ->  61725
rmux613  multiply 12345  5.0001    ->  61726 Inexact Rounded
rmux614  multiply 12345  5.001     ->  61737 Inexact Rounded
rmux615  multiply 12345  5.01      ->  61848 Inexact Rounded
rmux616  multiply 12345  12        ->  1.4814E+5 Rounded
rmux617  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
rmux618  multiply 12355  12        ->  1.4826E+5 Rounded
rmux619  multiply 12355  13        ->  1.6061E+5 Inexact Rounded

rounding: ceiling
rmux701  multiply 12345  1         ->  12345
rmux702  multiply 12345  1.0001    ->  12347 Inexact Rounded
rmux703  multiply 12345  1.001     ->  12358 Inexact Rounded
rmux704  multiply 12345  1.01      ->  12469 Inexact Rounded
rmux705  multiply 12345  1.1       ->  13580 Inexact Rounded
rmux706  multiply 12345  4         ->  49380
rmux707  multiply 12345  4.0001    ->  49382 Inexact Rounded
rmux708  multiply 12345  4.9       ->  60491 Inexact Rounded
rmux709  multiply 12345  4.99      ->  61602 Inexact Rounded
rmux710  multiply 12345  4.999     ->  61713 Inexact Rounded
rmux711  multiply 12345  4.9999    ->  61724 Inexact Rounded
rmux712  multiply 12345  5         ->  61725
rmux713  multiply 12345  5.0001    ->  61727 Inexact Rounded
rmux714  multiply 12345  5.001     ->  61738 Inexact Rounded
rmux715  multiply 12345  5.01      ->  61849 Inexact Rounded
rmux716  multiply 12345  12        ->  1.4814E+5 Rounded
rmux717  multiply 12345  13        ->  1.6049E+5 Inexact Rounded
rmux718  multiply 12355  12        ->  1.4826E+5 Rounded
rmux719  multiply 12355  13        ->  1.6062E+5 Inexact Rounded

-- Power operator -----------------------------------------------------

rounding: down
rpox101  power 12345  -5        ->  3.4877E-21 Inexact Rounded
rpox102  power 12345  -4        ->  4.3056E-17 Inexact Rounded
rpox103  power 12345  -3        ->  5.3152E-13 Inexact Rounded
rpox104  power 12345  -2        ->  6.5617E-9 Inexact Rounded
rpox105  power 12345  -1        ->  0.000081004 Inexact Rounded
rpox106  power 12345  0         ->  1
rpox107  power 12345  1         ->  12345
rpox108  power 12345  2         ->  1.5239E+8 Inexact Rounded
rpox109  power 12345  3         ->  1.8813E+12 Inexact Rounded
rpox110  power 12345  4         ->  2.3225E+16 Inexact Rounded
rpox111  power 12345  5         ->  2.8671E+20 Inexact Rounded
rpox112  power   415  2         ->  1.7222E+5 Inexact Rounded
rpox113  power    75  3         ->  4.2187E+5 Inexact Rounded

rounding: half_down
rpox201  power 12345  -5        ->  3.4877E-21 Inexact Rounded
rpox202  power 12345  -4        ->  4.3056E-17 Inexact Rounded
rpox203  power 12345  -3        ->  5.3153E-13 Inexact Rounded
rpox204  power 12345  -2        ->  6.5617E-9 Inexact Rounded
rpox205  power 12345  -1        ->  0.000081004 Inexact Rounded
rpox206  power 12345  0         ->  1
rpox207  power 12345  1         ->  12345
rpox208  power 12345  2         ->  1.5240E+8 Inexact Rounded
rpox209  power 12345  3         ->  1.8814E+12 Inexact Rounded
rpox210  power 12345  4         ->  2.3225E+16 Inexact Rounded
rpox211  power 12345  5         ->  2.8672E+20 Inexact Rounded
rpox212  power   415  2         ->  1.7222E+5 Inexact Rounded
rpox213  power    75  3         ->  4.2187E+5 Inexact Rounded

rounding: half_even
rpox301  power 12345  -5        ->  3.4877E-21 Inexact Rounded
rpox302  power 12345  -4        ->  4.3056E-17 Inexact Rounded
rpox303  power 12345  -3        ->  5.3153E-13 Inexact Rounded
rpox304  power 12345  -2        ->  6.5617E-9 Inexact Rounded
rpox305  power 12345  -1        ->  0.000081004 Inexact Rounded
rpox306  power 12345  0         ->  1
rpox307  power 12345  1         ->  12345
rpox308  power 12345  2         ->  1.5240E+8 Inexact Rounded
rpox309  power 12345  3         ->  1.8814E+12 Inexact Rounded
rpox310  power 12345  4         ->  2.3225E+16 Inexact Rounded
rpox311  power 12345  5         ->  2.8672E+20 Inexact Rounded
rpox312  power   415  2         ->  1.7222E+5 Inexact Rounded
rpox313  power    75  3         ->  4.2188E+5 Inexact Rounded

rounding: half_up
rpox401  power 12345  -5        ->  3.4877E-21 Inexact Rounded
rpox402  power 12345  -4        ->  4.3056E-17 Inexact Rounded
rpox403  power 12345  -3        ->  5.3153E-13 Inexact Rounded
rpox404  power 12345  -2        ->  6.5617E-9 Inexact Rounded
rpox405  power 12345  -1        ->  0.000081004 Inexact Rounded
rpox406  power 12345  0         ->  1
rpox407  power 12345  1         ->  12345
rpox408  power 12345  2         ->  1.5240E+8 Inexact Rounded
rpox409  power 12345  3         ->  1.8814E+12 Inexact Rounded
rpox410  power 12345  4         ->  2.3225E+16 Inexact Rounded
rpox411  power 12345  5         ->  2.8672E+20 Inexact Rounded
rpox412  power   415  2         ->  1.7223E+5 Inexact Rounded
rpox413  power    75  3         ->  4.2188E+5 Inexact Rounded

rounding: up
rpox501  power 12345  -5        ->  3.4878E-21 Inexact Rounded
rpox502  power 12345  -4        ->  4.3057E-17 Inexact Rounded
rpox503  power 12345  -3        ->  5.3153E-13 Inexact Rounded
rpox504  power 12345  -2        ->  6.5618E-9 Inexact Rounded
rpox505  power 12345  -1        ->  0.000081005 Inexact Rounded
rpox506  power 12345  0         ->  1
rpox507  power 12345  1         ->  12345
rpox508  power 12345  2         ->  1.5240E+8 Inexact Rounded
rpox509  power 12345  3         ->  1.8814E+12 Inexact Rounded
rpox510  power 12345  4         ->  2.3226E+16 Inexact Rounded
rpox511  power 12345  5         ->  2.8672E+20 Inexact Rounded
rpox512  power   415  2         ->  1.7223E+5 Inexact Rounded
rpox513  power    75  3         ->  4.2188E+5 Inexact Rounded

rounding: floor
rpox601  power 12345  -5        ->  3.4877E-21 Inexact Rounded
rpox602  power 12345  -4        ->  4.3056E-17 Inexact Rounded
rpox603  power 12345  -3        ->  5.3152E-13 Inexact Rounded
rpox604  power 12345  -2        ->  6.5617E-9 Inexact Rounded
rpox605  power 12345  -1        ->  0.000081004 Inexact Rounded
rpox606  power 12345  0         ->  1
rpox607  power 12345  1         ->  12345
rpox608  power 12345  2         ->  1.5239E+8 Inexact Rounded
rpox609  power 12345  3         ->  1.8813E+12 Inexact Rounded
rpox610  power 12345  4         ->  2.3225E+16 Inexact Rounded
rpox611  power 12345  5         ->  2.8671E+20 Inexact Rounded
rpox612  power   415  2         ->  1.7222E+5 Inexact Rounded
rpox613  power    75  3         ->  4.2187E+5 Inexact Rounded

rounding: ceiling
rpox701  power 12345  -5        ->  3.4878E-21 Inexact Rounded
rpox702  power 12345  -4        ->  4.3057E-17 Inexact Rounded
rpox703  power 12345  -3        ->  5.3153E-13 Inexact Rounded
rpox704  power 12345  -2        ->  6.5618E-9 Inexact Rounded
rpox705  power 12345  -1        ->  0.000081005 Inexact Rounded
rpox706  power 12345  0         ->  1
rpox707  power 12345  1         ->  12345
rpox708  power 12345  2         ->  1.5240E+8 Inexact Rounded
rpox709  power 12345  3         ->  1.8814E+12 Inexact Rounded
rpox710  power 12345  4         ->  2.3226E+16 Inexact Rounded
rpox711  power 12345  5         ->  2.8672E+20 Inexact Rounded
rpox712  power   415  2         ->  1.7223E+5 Inexact Rounded
rpox713  power    75  3         ->  4.2188E+5 Inexact Rounded

-- Underflow Subnormal and overflow values vary with rounding mode and sign
maxexponent: 999999999
minexponent: -999999999
rounding: down
rovx100  multiply   10    9E+999999999 ->  9.9999E+999999999 Overflow Inexact Rounded
rovx101  multiply  -10    9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded
rovx102  divide     1E-9  9E+999999999 ->  0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
rovx104  divide    -1E-9  9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped

rounding: up
rovx110  multiply   10    9E+999999999 ->  Infinity Overflow Inexact Rounded
rovx111  multiply  -10    9E+999999999 -> -Infinity Overflow Inexact Rounded
rovx112  divide     1E-9  9E+999999999 ->  1E-1000000003 Underflow Subnormal Inexact Rounded
rovx114  divide    -1E-9  9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded

rounding: ceiling
rovx120  multiply   10    9E+999999999 ->  Infinity Overflow Inexact Rounded
rovx121  multiply  -10    9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded
rovx122  divide     1E-9  9E+999999999 ->  1E-1000000003 Underflow Subnormal Inexact Rounded
rovx124  divide    -1E-9  9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped

rounding: floor
rovx130  multiply   10    9E+999999999 ->  9.9999E+999999999 Overflow Inexact Rounded
rovx131  multiply  -10    9E+999999999 -> -Infinity Overflow Inexact Rounded
rovx132  divide     1E-9  9E+999999999 ->  0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
rovx134  divide    -1E-9  9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded

rounding: half_up
rovx140  multiply   10    9E+999999999 ->  Infinity Overflow Inexact Rounded
rovx141  multiply  -10    9E+999999999 -> -Infinity Overflow Inexact Rounded
rovx142  divide     1E-9  9E+999999999 ->  0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
rovx144  divide    -1E-9  9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped

rounding: half_even
rovx150  multiply   10    9E+999999999 ->  Infinity Overflow Inexact Rounded
rovx151  multiply  -10    9E+999999999 -> -Infinity Overflow Inexact Rounded
rovx152  divide     1E-9  9E+999999999 ->  0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
rovx154  divide    -1E-9  9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped

rounding: half_down
rovx160  multiply   10    9E+999999999 ->  Infinity Overflow Inexact Rounded
rovx161  multiply  -10    9E+999999999 -> -Infinity Overflow Inexact Rounded
rovx162  divide     1E-9  9E+999999999 ->  0E-1000000003 Underflow Subnormal Inexact Rounded Clamped
rovx164  divide    -1E-9  9E+999999999 -> -0E-1000000003 Underflow Subnormal Inexact Rounded Clamped

-- check maximum finite value over a range of precisions
rounding: down
precision: 1
rovx200  multiply   10    9E+999999999 ->  9E+999999999 Overflow Inexact Rounded
rovx201  multiply  -10    9E+999999999 -> -9E+999999999 Overflow Inexact Rounded
precision: 2
rovx210  multiply   10    9E+999999999 ->  9.9E+999999999 Overflow Inexact Rounded
rovx211  multiply  -10    9E+999999999 -> -9.9E+999999999 Overflow Inexact Rounded
precision: 3
rovx220  multiply   10    9E+999999999 ->  9.99E+999999999 Overflow Inexact Rounded
rovx221  multiply  -10    9E+999999999 -> -9.99E+999999999 Overflow Inexact Rounded
precision: 4
rovx230  multiply   10    9E+999999999 ->  9.999E+999999999 Overflow Inexact Rounded
rovx231  multiply  -10    9E+999999999 -> -9.999E+999999999 Overflow Inexact Rounded
precision: 5
rovx240  multiply   10    9E+999999999 ->  9.9999E+999999999 Overflow Inexact Rounded
rovx241  multiply  -10    9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded
precision: 6
rovx250  multiply   10    9E+999999999 ->  9.99999E+999999999 Overflow Inexact Rounded
rovx251  multiply  -10    9E+999999999 -> -9.99999E+999999999 Overflow Inexact Rounded
precision: 7
rovx260  multiply   10    9E+999999999 ->  9.999999E+999999999 Overflow Inexact Rounded
rovx261  multiply  -10    9E+999999999 -> -9.999999E+999999999 Overflow Inexact Rounded
precision: 8
rovx270  multiply   10    9E+999999999 ->  9.9999999E+999999999 Overflow Inexact Rounded
rovx271  multiply  -10    9E+999999999 -> -9.9999999E+999999999 Overflow Inexact Rounded
precision: 9
rovx280  multiply   10    9E+999999999 ->  9.99999999E+999999999 Overflow Inexact Rounded
rovx281  multiply  -10    9E+999999999 -> -9.99999999E+999999999 Overflow Inexact Rounded
precision: 10
rovx290  multiply   10    9E+999999999 ->  9.999999999E+999999999 Overflow Inexact Rounded
rovx291  multiply  -10    9E+999999999 -> -9.999999999E+999999999 Overflow Inexact Rounded

-- reprise rounding mode effect (using multiplies so precision directive used)
precision: 9
maxexponent: 999999999
rounding: half_up
rmex400 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded
rmex401 multiply  9.999E+999999999 10 ->  Infinity Overflow Inexact Rounded
rounding: half_down
rmex402 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded
rmex403 multiply  9.999E+999999999 10 ->  Infinity Overflow Inexact Rounded
rounding: half_even
rmex404 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded
rmex405 multiply  9.999E+999999999 10 ->  Infinity Overflow Inexact Rounded
rounding: floor
rmex406 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded
rmex407 multiply  9.999E+999999999 10 ->  9.99999999E+999999999 Overflow Inexact Rounded
rounding: ceiling
rmex408 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded
rmex409 multiply  9.999E+999999999 10 ->  Infinity Overflow Inexact Rounded
rounding: up
rmex410 multiply -9.999E+999999999 10 -> -Infinity Overflow Inexact Rounded
rmex411 multiply  9.999E+999999999 10 ->  Infinity Overflow Inexact Rounded
rounding: down
rmex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded
rmex413 multiply  9.999E+999999999 10 ->  9.99999999E+999999999 Overflow Inexact Rounded

----- Round-for-reround -----
rounding:    05up
precision:   5           -- for easier visual inspection
maxExponent: 999
minexponent: -999

-- basic rounding; really is just 0 and 5 up
r05up001 add 12340  0.001     -> 12341 Inexact Rounded
r05up002 add 12341  0.001     -> 12341 Inexact Rounded
r05up003 add 12342  0.001     -> 12342 Inexact Rounded
r05up004 add 12343  0.001     -> 12343 Inexact Rounded
r05up005 add 12344  0.001     -> 12344 Inexact Rounded
r05up006 add 12345  0.001     -> 12346 Inexact Rounded
r05up007 add 12346  0.001     -> 12346 Inexact Rounded
r05up008 add 12347  0.001     -> 12347 Inexact Rounded
r05up009 add 12348  0.001     -> 12348 Inexact Rounded
r05up010 add 12349  0.001     -> 12349 Inexact Rounded

r05up011 add 12340  0.000     -> 12340 Rounded
r05up012 add 12341  0.000     -> 12341 Rounded
r05up013 add 12342  0.000     -> 12342 Rounded
r05up014 add 12343  0.000     -> 12343 Rounded
r05up015 add 12344  0.000     -> 12344 Rounded
r05up016 add 12345  0.000     -> 12345 Rounded
r05up017 add 12346  0.000     -> 12346 Rounded
r05up018 add 12347  0.000     -> 12347 Rounded
r05up019 add 12348  0.000     -> 12348 Rounded
r05up020 add 12349  0.000     -> 12349 Rounded

r05up021 add 12340  0.901     -> 12341 Inexact Rounded
r05up022 add 12341  0.901     -> 12341 Inexact Rounded
r05up023 add 12342  0.901     -> 12342 Inexact Rounded
r05up024 add 12343  0.901     -> 12343 Inexact Rounded
r05up025 add 12344  0.901     -> 12344 Inexact Rounded
r05up026 add 12345  0.901     -> 12346 Inexact Rounded
r05up027 add 12346  0.901     -> 12346 Inexact Rounded
r05up028 add 12347  0.901     -> 12347 Inexact Rounded
r05up029 add 12348  0.901     -> 12348 Inexact Rounded
r05up030 add 12349  0.901     -> 12349 Inexact Rounded

r05up031 add -12340  -0.001     -> -12341 Inexact Rounded
r05up032 add -12341  -0.001     -> -12341 Inexact Rounded
r05up033 add -12342  -0.001     -> -12342 Inexact Rounded
r05up034 add -12343  -0.001     -> -12343 Inexact Rounded
r05up035 add -12344  -0.001     -> -12344 Inexact Rounded
r05up036 add -12345  -0.001     -> -12346 Inexact Rounded
r05up037 add -12346  -0.001     -> -12346 Inexact Rounded
r05up038 add -12347  -0.001     -> -12347 Inexact Rounded
r05up039 add -12348  -0.001     -> -12348 Inexact Rounded
r05up040 add -12349  -0.001     -> -12349 Inexact Rounded

r05up041 add -12340   0.001     -> -12339 Inexact Rounded
r05up042 add -12341   0.001     -> -12341 Inexact Rounded
r05up043 add -12342   0.001     -> -12341 Inexact Rounded
r05up044 add -12343   0.001     -> -12342 Inexact Rounded
r05up045 add -12344   0.001     -> -12343 Inexact Rounded
r05up046 add -12345   0.001     -> -12344 Inexact Rounded
r05up047 add -12346   0.001     -> -12346 Inexact Rounded
r05up048 add -12347   0.001     -> -12346 Inexact Rounded
r05up049 add -12348   0.001     -> -12347 Inexact Rounded
r05up050 add -12349   0.001     -> -12348 Inexact Rounded

-- Addition operators -------------------------------------------------
-- [The first few of these check negative residue possibilities; these
-- cases may be implemented as a negative residue in fastpaths]

r0adx100  add 12345 -0.1       -> 12344 Inexact Rounded
r0adx101  add 12345 -0.01      -> 12344 Inexact Rounded
r0adx102  add 12345 -0.001     -> 12344 Inexact Rounded
r0adx103  add 12345 -0.00001   -> 12344 Inexact Rounded
r0adx104  add 12345 -0.000001  -> 12344 Inexact Rounded
r0adx105  add 12345 -0.0000001 -> 12344 Inexact Rounded
r0adx106  add 12345  0         -> 12345
r0adx107  add 12345  0.0000001 -> 12346 Inexact Rounded
r0adx108  add 12345  0.000001  -> 12346 Inexact Rounded
r0adx109  add 12345  0.00001   -> 12346 Inexact Rounded
r0adx110  add 12345  0.0001    -> 12346 Inexact Rounded
r0adx111  add 12345  0.001     -> 12346 Inexact Rounded
r0adx112  add 12345  0.01      -> 12346 Inexact Rounded
r0adx113  add 12345  0.1       -> 12346 Inexact Rounded

r0adx115  add 12346  0.49999   -> 12346 Inexact Rounded
r0adx116  add 12346  0.5       -> 12346 Inexact Rounded
r0adx117  add 12346  0.50001   -> 12346 Inexact Rounded

r0adx120  add 12345  0.4       -> 12346 Inexact Rounded
r0adx121  add 12345  0.49      -> 12346 Inexact Rounded
r0adx122  add 12345  0.499     -> 12346 Inexact Rounded
r0adx123  add 12345  0.49999   -> 12346 Inexact Rounded
r0adx124  add 12345  0.5       -> 12346 Inexact Rounded
r0adx125  add 12345  0.50001   -> 12346 Inexact Rounded
r0adx126  add 12345  0.5001    -> 12346 Inexact Rounded
r0adx127  add 12345  0.501     -> 12346 Inexact Rounded
r0adx128  add 12345  0.51      -> 12346 Inexact Rounded
r0adx129  add 12345  0.6       -> 12346 Inexact Rounded

-- negatives...

r0sux100  add -12345 -0.1       -> -12346 Inexact Rounded
r0sux101  add -12345 -0.01      -> -12346 Inexact Rounded
r0sux102  add -12345 -0.001     -> -12346 Inexact Rounded
r0sux103  add -12345 -0.00001   -> -12346 Inexact Rounded
r0sux104  add -12345 -0.000001  -> -12346 Inexact Rounded
r0sux105  add -12345 -0.0000001 -> -12346 Inexact Rounded
r0sux106  add -12345  0         -> -12345
r0sux107  add -12345  0.0000001 -> -12344 Inexact Rounded
r0sux108  add -12345  0.000001  -> -12344 Inexact Rounded
r0sux109  add -12345  0.00001   -> -12344 Inexact Rounded
r0sux110  add -12345  0.0001    -> -12344 Inexact Rounded
r0sux111  add -12345  0.001     -> -12344 Inexact Rounded
r0sux112  add -12345  0.01      -> -12344 Inexact Rounded
r0sux113  add -12345  0.1       -> -12344 Inexact Rounded

r0sux115  add -12346  0.49999   -> -12346 Inexact Rounded
r0sux116  add -12346  0.5       -> -12346 Inexact Rounded
r0sux117  add -12346  0.50001   -> -12346 Inexact Rounded

r0sux120  add -12345  0.4       -> -12344 Inexact Rounded
r0sux121  add -12345  0.49      -> -12344 Inexact Rounded
r0sux122  add -12345  0.499     -> -12344 Inexact Rounded
r0sux123  add -12345  0.49999   -> -12344 Inexact Rounded
r0sux124  add -12345  0.5       -> -12344 Inexact Rounded
r0sux125  add -12345  0.50001   -> -12344 Inexact Rounded
r0sux126  add -12345  0.5001    -> -12344 Inexact Rounded
r0sux127  add -12345  0.501     -> -12344 Inexact Rounded
r0sux128  add -12345  0.51      -> -12344 Inexact Rounded
r0sux129  add -12345  0.6       -> -12344 Inexact Rounded

-- Check cancellation subtractions
-- (The IEEE 854 'curious rule' in $6.3)

r0zex001  add  0    0    ->  0
r0zex002  add  0   -0    ->  0
r0zex003  add -0    0    ->  0
r0zex004  add -0   -0    -> -0
r0zex005  add  1   -1    ->  0
r0zex006  add -1    1    ->  0
r0zex007  add  1.5 -1.5  ->  0.0
r0zex008  add -1.5  1.5  ->  0.0
r0zex009  add  2   -2    ->  0
r0zex010  add -2    2    ->  0


-- Division operators -------------------------------------------------

r0dvx101  divide 12345  1         ->  12345
r0dvx102  divide 12345  1.0001    ->  12343 Inexact Rounded
r0dvx103  divide 12345  1.001     ->  12332 Inexact Rounded
r0dvx104  divide 12345  1.01      ->  12222 Inexact Rounded
r0dvx105  divide 12345  1.1       ->  11222 Inexact Rounded
r0dvx106  divide 12355  4         ->   3088.7 Inexact Rounded
r0dvx107  divide 12345  4         ->   3086.2 Inexact Rounded
r0dvx108  divide 12355  4.0001    ->   3088.6 Inexact Rounded
r0dvx109  divide 12345  4.0001    ->   3086.1 Inexact Rounded
r0dvx110  divide 12345  4.9       ->   2519.3 Inexact Rounded
r0dvx111  divide 12345  4.99      ->   2473.9 Inexact Rounded
r0dvx112  divide 12345  4.999     ->   2469.4 Inexact Rounded
r0dvx113  divide 12345  4.9999    ->   2469.1 Inexact Rounded
r0dvx114  divide 12345  5         ->   2469
r0dvx115  divide 12345  5.0001    ->  2468.9 Inexact Rounded
r0dvx116  divide 12345  5.001     ->  2468.6 Inexact Rounded
r0dvx117  divide 12345  5.01      ->  2464.1 Inexact Rounded
r0dvx118  divide 12345  5.1       ->  2420.6 Inexact Rounded

-- [divideInteger and remainder unaffected]

-- Multiplication operator --------------------------------------------

r0mux101  multiply 12345  1         ->  12345
r0mux102  multiply 12345  1.0001    ->  12346 Inexact Rounded
r0mux103  multiply 12345  1.001     ->  12357 Inexact Rounded
r0mux104  multiply 12345  1.01      ->  12468 Inexact Rounded
r0mux105  multiply 12345  1.1       ->  13579 Inexact Rounded
r0mux106  multiply 12345  4         ->  49380
r0mux107  multiply 12345  4.0001    ->  49381 Inexact Rounded
r0mux108  multiply 12345  4.9       ->  60491 Inexact Rounded
r0mux109  multiply 12345  4.99      ->  61601 Inexact Rounded
r0mux110  multiply 12345  4.999     ->  61712 Inexact Rounded
r0mux111  multiply 12345  4.9999    ->  61723 Inexact Rounded
r0mux112  multiply 12345  5         ->  61725
r0mux113  multiply 12345  5.0001    ->  61726 Inexact Rounded
r0mux114  multiply 12345  5.001     ->  61737 Inexact Rounded
r0mux115  multiply 12345  5.01      ->  61848 Inexact Rounded
r0mux116  multiply 12345  12        ->  1.4814E+5 Rounded
r0mux117  multiply 12345  13        ->  1.6048E+5 Inexact Rounded
r0mux118  multiply 12355  12        ->  1.4826E+5 Rounded
r0mux119  multiply 12355  13        ->  1.6061E+5 Inexact Rounded


-- Power operator -----------------------------------------------------

r0pox101  power 12345  -5        ->  3.4877E-21 Inexact Rounded
r0pox102  power 12345  -4        ->  4.3056E-17 Inexact Rounded
r0pox103  power 12345  -3        ->  5.3152E-13 Inexact Rounded
r0pox104  power 12345  -2        ->  6.5617E-9 Inexact Rounded
r0pox105  power 12345  -1        ->  0.000081004 Inexact Rounded
r0pox106  power 12345  0         ->  1
r0pox107  power 12345  1         ->  12345
r0pox108  power 12345  2         ->  1.5239E+8 Inexact Rounded
r0pox109  power 12345  3         ->  1.8813E+12 Inexact Rounded
r0pox110  power 12345  4         ->  2.3226E+16 Inexact Rounded
r0pox111  power 12345  5         ->  2.8671E+20 Inexact Rounded
r0pox112  power   415  2         ->  1.7222E+5 Inexact Rounded
r0pox113  power    75  3         ->  4.2187E+5 Inexact Rounded


-- Underflow Subnormal and overflow values vary with rounding mode and sign
maxexponent: 999999999
minexponent: -999999999
-- [round down gives Nmax on first two and .0E... on the next two]
r0ovx100  multiply   10    9E+999999999 ->  9.9999E+999999999 Overflow Inexact Rounded
r0ovx101  multiply  -10    9E+999999999 -> -9.9999E+999999999 Overflow Inexact Rounded
r0ovx102  divide     1E-9  9E+999999999 ->  1E-1000000003 Underflow Subnormal Inexact Rounded
r0ovx104  divide    -1E-9  9E+999999999 -> -1E-1000000003 Underflow Subnormal Inexact Rounded

-- reprise rounding mode effect (using multiplies so precision directive used)
precision: 9
maxexponent: 999999999
r0mex412 multiply -9.999E+999999999 10 -> -9.99999999E+999999999 Overflow Inexact Rounded
r0mex413 multiply  9.999E+999999999 10 ->  9.99999999E+999999999 Overflow Inexact Rounded