/usr/lib/python3.4/test/decimaltestdata/rounding.decTest is in libpython3.4-testsuite 3.4.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | ------------------------------------------------------------------------
-- 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
|