github.com/cockroachdb/apd/v3@v3.2.0/testdata/multiply.decTest (about) 1 ------------------------------------------------------------------------ 2 -- multiply.decTest -- decimal multiplication -- 3 -- Copyright (c) Mike Cowlishaw, 1981, 2010. All rights reserved. -- 4 -- Parts copyright (c) IBM Corporation, 1981, 2008. -- 5 ------------------------------------------------------------------------ 6 -- Please see the document "General Decimal Arithmetic Testcases" -- 7 -- at http://speleotrove.com/decimal for the description of -- 8 -- these testcases. -- 9 -- -- 10 -- These testcases are experimental ('beta' versions), and they -- 11 -- may contain errors. They are offered on an as-is basis. In -- 12 -- particular, achieving the same results as the tests here is not -- 13 -- a guarantee that an implementation complies with any Standard -- 14 -- or specification. The tests are not exhaustive. -- 15 -- -- 16 -- Please send comments, suggestions, and corrections to the author: -- 17 -- Mike Cowlishaw, mfc@speleotrove.com -- 18 ------------------------------------------------------------------------ 19 version: 2.62 20 21 extended: 1 22 precision: 9 23 rounding: half_up 24 maxExponent: 384 25 minexponent: -383 26 27 -- sanity checks (as base, above) 28 mulx000 multiply 2 2 -> 4 29 mulx001 multiply 2 3 -> 6 30 mulx002 multiply 5 1 -> 5 31 mulx003 multiply 5 2 -> 10 32 mulx004 multiply 1.20 2 -> 2.40 33 mulx005 multiply 1.20 0 -> 0.00 34 mulx006 multiply 1.20 -2 -> -2.40 35 mulx007 multiply -1.20 2 -> -2.40 36 mulx008 multiply -1.20 0 -> -0.00 37 mulx009 multiply -1.20 -2 -> 2.40 38 mulx010 multiply 5.09 7.1 -> 36.139 39 mulx011 multiply 2.5 4 -> 10.0 40 mulx012 multiply 2.50 4 -> 10.00 41 mulx013 multiply 1.23456789 1.00000000 -> 1.23456789 Rounded 42 mulx014 multiply 9.999999999 9.999999999 -> 100.000000 Inexact Rounded 43 mulx015 multiply 2.50 4 -> 10.00 44 precision: 6 45 mulx016 multiply 2.50 4 -> 10.00 46 mulx017 multiply 9.999999999 9.999999999 -> 100.000 Inexact Rounded 47 mulx018 multiply 9.999999999 -9.999999999 -> -100.000 Inexact Rounded 48 mulx019 multiply -9.999999999 9.999999999 -> -100.000 Inexact Rounded 49 mulx020 multiply -9.999999999 -9.999999999 -> 100.000 Inexact Rounded 50 51 -- 1999.12.21: next one is a edge case if intermediate longs are used 52 precision: 15 53 mulx059 multiply 999999999999 9765625 -> 9.76562499999023E+18 Inexact Rounded 54 precision: 30 55 mulx160 multiply 999999999999 9765625 -> 9765624999990234375 56 precision: 9 57 ----- 58 59 -- zeros, etc. 60 mulx021 multiply 0 0 -> 0 61 mulx022 multiply 0 -0 -> -0 62 mulx023 multiply -0 0 -> -0 63 mulx024 multiply -0 -0 -> 0 64 mulx025 multiply -0.0 -0.0 -> 0.00 65 mulx026 multiply -0.0 -0.0 -> 0.00 66 mulx027 multiply -0.0 -0.0 -> 0.00 67 mulx028 multiply -0.0 -0.0 -> 0.00 68 mulx030 multiply 5.00 1E-3 -> 0.00500 69 mulx031 multiply 00.00 0.000 -> 0.00000 70 mulx032 multiply 00.00 0E-3 -> 0.00000 -- rhs is 0 71 mulx033 multiply 0E-3 00.00 -> 0.00000 -- lhs is 0 72 mulx034 multiply -5.00 1E-3 -> -0.00500 73 mulx035 multiply -00.00 0.000 -> -0.00000 74 mulx036 multiply -00.00 0E-3 -> -0.00000 -- rhs is 0 75 mulx037 multiply -0E-3 00.00 -> -0.00000 -- lhs is 0 76 mulx038 multiply 5.00 -1E-3 -> -0.00500 77 mulx039 multiply 00.00 -0.000 -> -0.00000 78 mulx040 multiply 00.00 -0E-3 -> -0.00000 -- rhs is 0 79 mulx041 multiply 0E-3 -00.00 -> -0.00000 -- lhs is 0 80 mulx042 multiply -5.00 -1E-3 -> 0.00500 81 mulx043 multiply -00.00 -0.000 -> 0.00000 82 mulx044 multiply -00.00 -0E-3 -> 0.00000 -- rhs is 0 83 mulx045 multiply -0E-3 -00.00 -> 0.00000 -- lhs is 0 84 85 -- examples from decarith 86 mulx050 multiply 1.20 3 -> 3.60 87 mulx051 multiply 7 3 -> 21 88 mulx052 multiply 0.9 0.8 -> 0.72 89 mulx053 multiply 0.9 -0 -> -0.0 90 mulx054 multiply 654321 654321 -> 4.28135971E+11 Inexact Rounded 91 92 mulx060 multiply 123.45 1e7 -> 1.2345E+9 93 mulx061 multiply 123.45 1e8 -> 1.2345E+10 94 mulx062 multiply 123.45 1e+9 -> 1.2345E+11 95 mulx063 multiply 123.45 1e10 -> 1.2345E+12 96 mulx064 multiply 123.45 1e11 -> 1.2345E+13 97 mulx065 multiply 123.45 1e12 -> 1.2345E+14 98 mulx066 multiply 123.45 1e13 -> 1.2345E+15 99 100 101 -- test some intermediate lengths 102 precision: 9 103 mulx080 multiply 0.1 123456789 -> 12345678.9 104 mulx081 multiply 0.1 1234567891 -> 123456789 Inexact Rounded 105 mulx082 multiply 0.1 12345678912 -> 1.23456789E+9 Inexact Rounded 106 mulx083 multiply 0.1 12345678912345 -> 1.23456789E+12 Inexact Rounded 107 mulx084 multiply 0.1 123456789 -> 12345678.9 108 precision: 8 109 mulx085 multiply 0.1 12345678912 -> 1.2345679E+9 Inexact Rounded 110 mulx086 multiply 0.1 12345678912345 -> 1.2345679E+12 Inexact Rounded 111 precision: 7 112 mulx087 multiply 0.1 12345678912 -> 1.234568E+9 Inexact Rounded 113 mulx088 multiply 0.1 12345678912345 -> 1.234568E+12 Inexact Rounded 114 115 precision: 9 116 mulx090 multiply 123456789 0.1 -> 12345678.9 117 mulx091 multiply 1234567891 0.1 -> 123456789 Inexact Rounded 118 mulx092 multiply 12345678912 0.1 -> 1.23456789E+9 Inexact Rounded 119 mulx093 multiply 12345678912345 0.1 -> 1.23456789E+12 Inexact Rounded 120 mulx094 multiply 123456789 0.1 -> 12345678.9 121 precision: 8 122 mulx095 multiply 12345678912 0.1 -> 1.2345679E+9 Inexact Rounded 123 mulx096 multiply 12345678912345 0.1 -> 1.2345679E+12 Inexact Rounded 124 precision: 7 125 mulx097 multiply 12345678912 0.1 -> 1.234568E+9 Inexact Rounded 126 mulx098 multiply 12345678912345 0.1 -> 1.234568E+12 Inexact Rounded 127 128 -- test some more edge cases and carries 129 maxexponent: 9999 130 minexponent: -9999 131 precision: 33 132 mulx101 multiply 9 9 -> 81 133 mulx102 multiply 9 90 -> 810 134 mulx103 multiply 9 900 -> 8100 135 mulx104 multiply 9 9000 -> 81000 136 mulx105 multiply 9 90000 -> 810000 137 mulx106 multiply 9 900000 -> 8100000 138 mulx107 multiply 9 9000000 -> 81000000 139 mulx108 multiply 9 90000000 -> 810000000 140 mulx109 multiply 9 900000000 -> 8100000000 141 mulx110 multiply 9 9000000000 -> 81000000000 142 mulx111 multiply 9 90000000000 -> 810000000000 143 mulx112 multiply 9 900000000000 -> 8100000000000 144 mulx113 multiply 9 9000000000000 -> 81000000000000 145 mulx114 multiply 9 90000000000000 -> 810000000000000 146 mulx115 multiply 9 900000000000000 -> 8100000000000000 147 mulx116 multiply 9 9000000000000000 -> 81000000000000000 148 mulx117 multiply 9 90000000000000000 -> 810000000000000000 149 mulx118 multiply 9 900000000000000000 -> 8100000000000000000 150 mulx119 multiply 9 9000000000000000000 -> 81000000000000000000 151 mulx120 multiply 9 90000000000000000000 -> 810000000000000000000 152 mulx121 multiply 9 900000000000000000000 -> 8100000000000000000000 153 mulx122 multiply 9 9000000000000000000000 -> 81000000000000000000000 154 mulx123 multiply 9 90000000000000000000000 -> 810000000000000000000000 155 -- test some more edge cases without carries 156 mulx131 multiply 3 3 -> 9 157 mulx132 multiply 3 30 -> 90 158 mulx133 multiply 3 300 -> 900 159 mulx134 multiply 3 3000 -> 9000 160 mulx135 multiply 3 30000 -> 90000 161 mulx136 multiply 3 300000 -> 900000 162 mulx137 multiply 3 3000000 -> 9000000 163 mulx138 multiply 3 30000000 -> 90000000 164 mulx139 multiply 3 300000000 -> 900000000 165 mulx140 multiply 3 3000000000 -> 9000000000 166 mulx141 multiply 3 30000000000 -> 90000000000 167 mulx142 multiply 3 300000000000 -> 900000000000 168 mulx143 multiply 3 3000000000000 -> 9000000000000 169 mulx144 multiply 3 30000000000000 -> 90000000000000 170 mulx145 multiply 3 300000000000000 -> 900000000000000 171 mulx146 multiply 3 3000000000000000 -> 9000000000000000 172 mulx147 multiply 3 30000000000000000 -> 90000000000000000 173 mulx148 multiply 3 300000000000000000 -> 900000000000000000 174 mulx149 multiply 3 3000000000000000000 -> 9000000000000000000 175 mulx150 multiply 3 30000000000000000000 -> 90000000000000000000 176 mulx151 multiply 3 300000000000000000000 -> 900000000000000000000 177 mulx152 multiply 3 3000000000000000000000 -> 9000000000000000000000 178 mulx153 multiply 3 30000000000000000000000 -> 90000000000000000000000 179 180 maxexponent: 999999999 181 minexponent: -999999999 182 precision: 9 183 -- test some cases that are close to exponent overflow/underflow 184 mulx170 multiply 1 9e999999999 -> 9E+999999999 185 mulx171 multiply 1 9.9e999999999 -> 9.9E+999999999 186 mulx172 multiply 1 9.99e999999999 -> 9.99E+999999999 187 mulx173 multiply 9e999999999 1 -> 9E+999999999 188 mulx174 multiply 9.9e999999999 1 -> 9.9E+999999999 189 mulx176 multiply 9.99e999999999 1 -> 9.99E+999999999 190 mulx177 multiply 1 9.99999999e999999999 -> 9.99999999E+999999999 191 mulx178 multiply 9.99999999e999999999 1 -> 9.99999999E+999999999 192 193 mulx180 multiply 0.1 9e-999999998 -> 9E-999999999 194 mulx181 multiply 0.1 99e-999999998 -> 9.9E-999999998 195 mulx182 multiply 0.1 999e-999999998 -> 9.99E-999999997 196 197 mulx183 multiply 0.1 9e-999999998 -> 9E-999999999 198 mulx184 multiply 0.1 99e-999999998 -> 9.9E-999999998 199 mulx185 multiply 0.1 999e-999999998 -> 9.99E-999999997 200 mulx186 multiply 0.1 999e-999999997 -> 9.99E-999999996 201 mulx187 multiply 0.1 9999e-999999997 -> 9.999E-999999995 202 mulx188 multiply 0.1 99999e-999999997 -> 9.9999E-999999994 203 204 mulx190 multiply 1 9e-999999998 -> 9E-999999998 205 mulx191 multiply 1 99e-999999998 -> 9.9E-999999997 206 mulx192 multiply 1 999e-999999998 -> 9.99E-999999996 207 mulx193 multiply 9e-999999998 1 -> 9E-999999998 208 mulx194 multiply 99e-999999998 1 -> 9.9E-999999997 209 mulx195 multiply 999e-999999998 1 -> 9.99E-999999996 210 211 mulx196 multiply 1e-599999999 1e-400000000 -> 1E-999999999 212 mulx197 multiply 1e-600000000 1e-399999999 -> 1E-999999999 213 mulx198 multiply 1.2e-599999999 1.2e-400000000 -> 1.44E-999999999 214 mulx199 multiply 1.2e-600000000 1.2e-399999999 -> 1.44E-999999999 215 216 mulx201 multiply 1e599999999 1e400000000 -> 1E+999999999 217 mulx202 multiply 1e600000000 1e399999999 -> 1E+999999999 218 mulx203 multiply 1.2e599999999 1.2e400000000 -> 1.44E+999999999 219 mulx204 multiply 1.2e600000000 1.2e399999999 -> 1.44E+999999999 220 221 -- long operand triangle 222 precision: 33 223 mulx246 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511992830 Inexact Rounded 224 precision: 32 225 mulx247 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199283 Inexact Rounded 226 precision: 31 227 mulx248 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165119928 Inexact Rounded 228 precision: 30 229 mulx249 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916511993 Inexact Rounded 230 precision: 29 231 mulx250 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651199 Inexact Rounded 232 precision: 28 233 mulx251 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165120 Inexact Rounded 234 precision: 27 235 mulx252 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671916512 Inexact Rounded 236 precision: 26 237 mulx253 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967191651 Inexact Rounded 238 precision: 25 239 mulx254 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719165 Inexact Rounded 240 precision: 24 241 mulx255 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369671917 Inexact Rounded 242 precision: 23 243 mulx256 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967192 Inexact Rounded 244 precision: 22 245 mulx257 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933696719 Inexact Rounded 246 precision: 21 247 mulx258 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193369672 Inexact Rounded 248 precision: 20 249 mulx259 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119336967 Inexact Rounded 250 precision: 19 251 mulx260 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011933697 Inexact Rounded 252 precision: 18 253 mulx261 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193370 Inexact Rounded 254 precision: 17 255 mulx262 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119337 Inexact Rounded 256 precision: 16 257 mulx263 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908011934 Inexact Rounded 258 precision: 15 259 mulx264 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801193 Inexact Rounded 260 precision: 14 261 mulx265 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080119 Inexact Rounded 262 precision: 13 263 mulx266 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908012 Inexact Rounded 264 precision: 12 265 mulx267 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.290801 Inexact Rounded 266 precision: 11 267 mulx268 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29080 Inexact Rounded 268 precision: 10 269 mulx269 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.2908 Inexact Rounded 270 precision: 9 271 mulx270 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.291 Inexact Rounded 272 precision: 8 273 mulx271 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.29 Inexact Rounded 274 precision: 7 275 mulx272 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433.3 Inexact Rounded 276 precision: 6 277 mulx273 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 145433 Inexact Rounded 278 precision: 5 279 mulx274 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.4543E+5 Inexact Rounded 280 precision: 4 281 mulx275 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.454E+5 Inexact Rounded 282 precision: 3 283 mulx276 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.45E+5 Inexact Rounded 284 precision: 2 285 mulx277 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1.5E+5 Inexact Rounded 286 precision: 1 287 mulx278 multiply 30269.587755640502150977251770554 4.8046009735990873395936309640543 -> 1E+5 Inexact Rounded 288 289 -- test some edge cases with exact rounding 290 maxexponent: 9999 291 minexponent: -9999 292 precision: 9 293 mulx301 multiply 9 9 -> 81 294 mulx302 multiply 9 90 -> 810 295 mulx303 multiply 9 900 -> 8100 296 mulx304 multiply 9 9000 -> 81000 297 mulx305 multiply 9 90000 -> 810000 298 mulx306 multiply 9 900000 -> 8100000 299 mulx307 multiply 9 9000000 -> 81000000 300 mulx308 multiply 9 90000000 -> 810000000 301 mulx309 multiply 9 900000000 -> 8.10000000E+9 Rounded 302 mulx310 multiply 9 9000000000 -> 8.10000000E+10 Rounded 303 mulx311 multiply 9 90000000000 -> 8.10000000E+11 Rounded 304 mulx312 multiply 9 900000000000 -> 8.10000000E+12 Rounded 305 mulx313 multiply 9 9000000000000 -> 8.10000000E+13 Rounded 306 mulx314 multiply 9 90000000000000 -> 8.10000000E+14 Rounded 307 mulx315 multiply 9 900000000000000 -> 8.10000000E+15 Rounded 308 mulx316 multiply 9 9000000000000000 -> 8.10000000E+16 Rounded 309 mulx317 multiply 9 90000000000000000 -> 8.10000000E+17 Rounded 310 mulx318 multiply 9 900000000000000000 -> 8.10000000E+18 Rounded 311 mulx319 multiply 9 9000000000000000000 -> 8.10000000E+19 Rounded 312 mulx320 multiply 9 90000000000000000000 -> 8.10000000E+20 Rounded 313 mulx321 multiply 9 900000000000000000000 -> 8.10000000E+21 Rounded 314 mulx322 multiply 9 9000000000000000000000 -> 8.10000000E+22 Rounded 315 mulx323 multiply 9 90000000000000000000000 -> 8.10000000E+23 Rounded 316 317 -- fastpath breakers 318 precision: 29 319 mulx330 multiply 1.491824697641270317824852952837224 1.105170918075647624811707826490246514675628614562883537345747603 -> 1.6487212707001281468486507878 Inexact Rounded 320 precision: 55 321 mulx331 multiply 0.8958341352965282506768545828765117803873717284891040428 0.8958341352965282506768545828765117803873717284891040428 -> 0.8025187979624784829842553829934069955890983696752228299 Inexact Rounded 322 323 324 -- tryzeros cases 325 precision: 7 326 rounding: half_up 327 maxExponent: 92 328 minexponent: -92 329 mulx504 multiply 0E-60 1000E-60 -> 0E-98 Clamped 330 mulx505 multiply 100E+60 0E+60 -> 0E+92 Clamped 331 332 -- mixed with zeros 333 maxexponent: 999999999 334 minexponent: -999999999 335 precision: 9 336 mulx541 multiply 0 -1 -> -0 337 mulx542 multiply -0 -1 -> 0 338 mulx543 multiply 0 1 -> 0 339 mulx544 multiply -0 1 -> -0 340 mulx545 multiply -1 0 -> -0 341 mulx546 multiply -1 -0 -> 0 342 mulx547 multiply 1 0 -> 0 343 mulx548 multiply 1 -0 -> -0 344 345 mulx551 multiply 0.0 -1 -> -0.0 346 mulx552 multiply -0.0 -1 -> 0.0 347 mulx553 multiply 0.0 1 -> 0.0 348 mulx554 multiply -0.0 1 -> -0.0 349 mulx555 multiply -1.0 0 -> -0.0 350 mulx556 multiply -1.0 -0 -> 0.0 351 mulx557 multiply 1.0 0 -> 0.0 352 mulx558 multiply 1.0 -0 -> -0.0 353 354 mulx561 multiply 0 -1.0 -> -0.0 355 mulx562 multiply -0 -1.0 -> 0.0 356 mulx563 multiply 0 1.0 -> 0.0 357 mulx564 multiply -0 1.0 -> -0.0 358 mulx565 multiply -1 0.0 -> -0.0 359 mulx566 multiply -1 -0.0 -> 0.0 360 mulx567 multiply 1 0.0 -> 0.0 361 mulx568 multiply 1 -0.0 -> -0.0 362 363 mulx571 multiply 0.0 -1.0 -> -0.00 364 mulx572 multiply -0.0 -1.0 -> 0.00 365 mulx573 multiply 0.0 1.0 -> 0.00 366 mulx574 multiply -0.0 1.0 -> -0.00 367 mulx575 multiply -1.0 0.0 -> -0.00 368 mulx576 multiply -1.0 -0.0 -> 0.00 369 mulx577 multiply 1.0 0.0 -> 0.00 370 mulx578 multiply 1.0 -0.0 -> -0.00 371 372 373 -- Specials 374 mulx580 multiply Inf -Inf -> -Infinity 375 mulx581 multiply Inf -1000 -> -Infinity 376 mulx582 multiply Inf -1 -> -Infinity 377 mulx583 multiply Inf -0 -> NaN Invalid_operation 378 mulx584 multiply Inf 0 -> NaN Invalid_operation 379 mulx585 multiply Inf 1 -> Infinity 380 mulx586 multiply Inf 1000 -> Infinity 381 mulx587 multiply Inf Inf -> Infinity 382 mulx588 multiply -1000 Inf -> -Infinity 383 mulx589 multiply -Inf Inf -> -Infinity 384 mulx590 multiply -1 Inf -> -Infinity 385 mulx591 multiply -0 Inf -> NaN Invalid_operation 386 mulx592 multiply 0 Inf -> NaN Invalid_operation 387 mulx593 multiply 1 Inf -> Infinity 388 mulx594 multiply 1000 Inf -> Infinity 389 mulx595 multiply Inf Inf -> Infinity 390 391 mulx600 multiply -Inf -Inf -> Infinity 392 mulx601 multiply -Inf -1000 -> Infinity 393 mulx602 multiply -Inf -1 -> Infinity 394 mulx603 multiply -Inf -0 -> NaN Invalid_operation 395 mulx604 multiply -Inf 0 -> NaN Invalid_operation 396 mulx605 multiply -Inf 1 -> -Infinity 397 mulx606 multiply -Inf 1000 -> -Infinity 398 mulx607 multiply -Inf Inf -> -Infinity 399 mulx608 multiply -1000 Inf -> -Infinity 400 mulx609 multiply -Inf -Inf -> Infinity 401 mulx610 multiply -1 -Inf -> Infinity 402 mulx611 multiply -0 -Inf -> NaN Invalid_operation 403 mulx612 multiply 0 -Inf -> NaN Invalid_operation 404 mulx613 multiply 1 -Inf -> -Infinity 405 mulx614 multiply 1000 -Inf -> -Infinity 406 mulx615 multiply Inf -Inf -> -Infinity 407 408 mulx621 multiply NaN -Inf -> NaN 409 mulx622 multiply NaN -1000 -> NaN 410 mulx623 multiply NaN -1 -> NaN 411 mulx624 multiply NaN -0 -> NaN 412 mulx625 multiply NaN 0 -> NaN 413 mulx626 multiply NaN 1 -> NaN 414 mulx627 multiply NaN 1000 -> NaN 415 mulx628 multiply NaN Inf -> NaN 416 mulx629 multiply NaN NaN -> NaN 417 mulx630 multiply -Inf NaN -> NaN 418 mulx631 multiply -1000 NaN -> NaN 419 mulx632 multiply -1 NaN -> NaN 420 mulx633 multiply -0 NaN -> NaN 421 mulx634 multiply 0 NaN -> NaN 422 mulx635 multiply 1 NaN -> NaN 423 mulx636 multiply 1000 NaN -> NaN 424 mulx637 multiply Inf NaN -> NaN 425 426 mulx641 multiply sNaN -Inf -> NaN Invalid_operation 427 mulx642 multiply sNaN -1000 -> NaN Invalid_operation 428 mulx643 multiply sNaN -1 -> NaN Invalid_operation 429 mulx644 multiply sNaN -0 -> NaN Invalid_operation 430 mulx645 multiply sNaN 0 -> NaN Invalid_operation 431 mulx646 multiply sNaN 1 -> NaN Invalid_operation 432 mulx647 multiply sNaN 1000 -> NaN Invalid_operation 433 mulx648 multiply sNaN NaN -> NaN Invalid_operation 434 mulx649 multiply sNaN sNaN -> NaN Invalid_operation 435 mulx650 multiply NaN sNaN -> NaN Invalid_operation 436 mulx651 multiply -Inf sNaN -> NaN Invalid_operation 437 mulx652 multiply -1000 sNaN -> NaN Invalid_operation 438 mulx653 multiply -1 sNaN -> NaN Invalid_operation 439 mulx654 multiply -0 sNaN -> NaN Invalid_operation 440 mulx655 multiply 0 sNaN -> NaN Invalid_operation 441 mulx656 multiply 1 sNaN -> NaN Invalid_operation 442 mulx657 multiply 1000 sNaN -> NaN Invalid_operation 443 mulx658 multiply Inf sNaN -> NaN Invalid_operation 444 mulx659 multiply NaN sNaN -> NaN Invalid_operation 445 446 -- propagating NaNs 447 mulx661 multiply NaN9 -Inf -> NaN9 448 mulx662 multiply NaN8 999 -> NaN8 449 mulx663 multiply NaN71 Inf -> NaN71 450 mulx664 multiply NaN6 NaN5 -> NaN6 451 mulx665 multiply -Inf NaN4 -> NaN4 452 mulx666 multiply -999 NaN33 -> NaN33 453 mulx667 multiply Inf NaN2 -> NaN2 454 455 mulx671 multiply sNaN99 -Inf -> NaN99 Invalid_operation 456 mulx672 multiply sNaN98 -11 -> NaN98 Invalid_operation 457 mulx673 multiply sNaN97 NaN -> NaN97 Invalid_operation 458 mulx674 multiply sNaN16 sNaN94 -> NaN16 Invalid_operation 459 mulx675 multiply NaN95 sNaN93 -> NaN93 Invalid_operation 460 mulx676 multiply -Inf sNaN92 -> NaN92 Invalid_operation 461 mulx677 multiply 088 sNaN91 -> NaN91 Invalid_operation 462 mulx678 multiply Inf sNaN90 -> NaN90 Invalid_operation 463 mulx679 multiply NaN sNaN89 -> NaN89 Invalid_operation 464 465 mulx681 multiply -NaN9 -Inf -> -NaN9 466 mulx682 multiply -NaN8 999 -> -NaN8 467 mulx683 multiply -NaN71 Inf -> -NaN71 468 mulx684 multiply -NaN6 -NaN5 -> -NaN6 469 mulx685 multiply -Inf -NaN4 -> -NaN4 470 mulx686 multiply -999 -NaN33 -> -NaN33 471 mulx687 multiply Inf -NaN2 -> -NaN2 472 473 mulx691 multiply -sNaN99 -Inf -> -NaN99 Invalid_operation 474 mulx692 multiply -sNaN98 -11 -> -NaN98 Invalid_operation 475 mulx693 multiply -sNaN97 NaN -> -NaN97 Invalid_operation 476 mulx694 multiply -sNaN16 -sNaN94 -> -NaN16 Invalid_operation 477 mulx695 multiply -NaN95 -sNaN93 -> -NaN93 Invalid_operation 478 mulx696 multiply -Inf -sNaN92 -> -NaN92 Invalid_operation 479 mulx697 multiply 088 -sNaN91 -> -NaN91 Invalid_operation 480 mulx698 multiply Inf -sNaN90 -> -NaN90 Invalid_operation 481 mulx699 multiply -NaN -sNaN89 -> -NaN89 Invalid_operation 482 483 mulx701 multiply -NaN -Inf -> -NaN 484 mulx702 multiply -NaN 999 -> -NaN 485 mulx703 multiply -NaN Inf -> -NaN 486 mulx704 multiply -NaN -NaN -> -NaN 487 mulx705 multiply -Inf -NaN0 -> -NaN 488 mulx706 multiply -999 -NaN -> -NaN 489 mulx707 multiply Inf -NaN -> -NaN 490 491 mulx711 multiply -sNaN -Inf -> -NaN Invalid_operation 492 mulx712 multiply -sNaN -11 -> -NaN Invalid_operation 493 mulx713 multiply -sNaN00 NaN -> -NaN Invalid_operation 494 mulx714 multiply -sNaN -sNaN -> -NaN Invalid_operation 495 mulx715 multiply -NaN -sNaN -> -NaN Invalid_operation 496 mulx716 multiply -Inf -sNaN -> -NaN Invalid_operation 497 mulx717 multiply 088 -sNaN -> -NaN Invalid_operation 498 mulx718 multiply Inf -sNaN -> -NaN Invalid_operation 499 mulx719 multiply -NaN -sNaN -> -NaN Invalid_operation 500 501 -- overflow and underflow tests .. note subnormal results 502 maxexponent: 999999999 503 minexponent: -999999999 504 mulx730 multiply +1.23456789012345E-0 9E+999999999 -> Infinity Inexact Overflow Rounded 505 mulx731 multiply 9E+999999999 +1.23456789012345E-0 -> Infinity Inexact Overflow Rounded 506 mulx732 multiply +0.100 9E-999999999 -> 9.00E-1000000000 Subnormal 507 mulx733 multiply 9E-999999999 +0.100 -> 9.00E-1000000000 Subnormal 508 mulx735 multiply -1.23456789012345E-0 9E+999999999 -> -Infinity Inexact Overflow Rounded 509 mulx736 multiply 9E+999999999 -1.23456789012345E-0 -> -Infinity Inexact Overflow Rounded 510 mulx737 multiply -0.100 9E-999999999 -> -9.00E-1000000000 Subnormal 511 mulx738 multiply 9E-999999999 -0.100 -> -9.00E-1000000000 Subnormal 512 513 mulx739 multiply 1e-599999999 1e-400000001 -> 1E-1000000000 Subnormal 514 mulx740 multiply 1e-599999999 1e-400000000 -> 1E-999999999 515 mulx741 multiply 1e-600000000 1e-400000000 -> 1E-1000000000 Subnormal 516 mulx742 multiply 9e-999999998 0.01 -> 9E-1000000000 Subnormal 517 mulx743 multiply 9e-999999998 0.1 -> 9E-999999999 518 mulx744 multiply 0.01 9e-999999998 -> 9E-1000000000 Subnormal 519 mulx745 multiply 1e599999999 1e400000001 -> Infinity Overflow Inexact Rounded 520 mulx746 multiply 1e599999999 1e400000000 -> 1E+999999999 521 mulx747 multiply 1e600000000 1e400000000 -> Infinity Overflow Inexact Rounded 522 mulx748 multiply 9e999999998 100 -> Infinity Overflow Inexact Rounded 523 mulx749 multiply 9e999999998 10 -> 9.0E+999999999 524 mulx750 multiply 100 9e999999998 -> Infinity Overflow Inexact Rounded 525 -- signs 526 mulx751 multiply 1e+777777777 1e+411111111 -> Infinity Overflow Inexact Rounded 527 mulx752 multiply 1e+777777777 -1e+411111111 -> -Infinity Overflow Inexact Rounded 528 mulx753 multiply -1e+777777777 1e+411111111 -> -Infinity Overflow Inexact Rounded 529 mulx754 multiply -1e+777777777 -1e+411111111 -> Infinity Overflow Inexact Rounded 530 mulx755 multiply 1e-777777777 1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 531 mulx756 multiply 1e-777777777 -1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 532 mulx757 multiply -1e-777777777 1e-411111111 -> -0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 533 mulx758 multiply -1e-777777777 -1e-411111111 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 534 535 -- 'subnormal' boundary (all hard underflow or overflow in base arithemtic) 536 precision: 9 537 mulx760 multiply 1e-600000000 1e-400000001 -> 1E-1000000001 Subnormal 538 mulx761 multiply 1e-600000000 1e-400000002 -> 1E-1000000002 Subnormal 539 mulx762 multiply 1e-600000000 1e-400000003 -> 1E-1000000003 Subnormal 540 mulx763 multiply 1e-600000000 1e-400000004 -> 1E-1000000004 Subnormal 541 mulx764 multiply 1e-600000000 1e-400000005 -> 1E-1000000005 Subnormal 542 mulx765 multiply 1e-600000000 1e-400000006 -> 1E-1000000006 Subnormal 543 mulx766 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal 544 mulx767 multiply 1e-600000000 1e-400000008 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 545 mulx768 multiply 1e-600000000 1e-400000009 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 546 mulx769 multiply 1e-600000000 1e-400000010 -> 0E-1000000007 Underflow Subnormal Inexact Rounded Clamped 547 -- [no equivalent of 'subnormal' for overflow] 548 mulx770 multiply 1e+600000000 1e+400000001 -> Infinity Overflow Inexact Rounded 549 mulx771 multiply 1e+600000000 1e+400000002 -> Infinity Overflow Inexact Rounded 550 mulx772 multiply 1e+600000000 1e+400000003 -> Infinity Overflow Inexact Rounded 551 mulx773 multiply 1e+600000000 1e+400000004 -> Infinity Overflow Inexact Rounded 552 mulx774 multiply 1e+600000000 1e+400000005 -> Infinity Overflow Inexact Rounded 553 mulx775 multiply 1e+600000000 1e+400000006 -> Infinity Overflow Inexact Rounded 554 mulx776 multiply 1e+600000000 1e+400000007 -> Infinity Overflow Inexact Rounded 555 mulx777 multiply 1e+600000000 1e+400000008 -> Infinity Overflow Inexact Rounded 556 mulx778 multiply 1e+600000000 1e+400000009 -> Infinity Overflow Inexact Rounded 557 mulx779 multiply 1e+600000000 1e+400000010 -> Infinity Overflow Inexact Rounded 558 559 -- 'subnormal' test edge condition at higher precisions 560 precision: 99 561 mulx780 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal 562 mulx781 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal 563 mulx782 multiply 1e-600000000 1e-400000097 -> 1E-1000000097 Subnormal 564 mulx783 multiply 1e-600000000 1e-400000098 -> 0E-1000000097 Underflow Subnormal Inexact Rounded Clamped 565 precision: 999 566 mulx784 multiply 1e-600000000 1e-400000997 -> 1E-1000000997 Subnormal 567 mulx785 multiply 1e-600000000 1e-400000998 -> 0E-1000000997 Underflow Subnormal Inexact Rounded Clamped 568 569 -- following testcases [through mulx800] not yet run against code 570 precision: 9999 571 mulx786 multiply 1e-600000000 1e-400009997 -> 1E-1000009997 Subnormal 572 mulx787 multiply 1e-600000000 1e-400009998 -> 0E-1000009997 Underflow Subnormal Inexact Rounded Clamped 573 precision: 99999 574 mulx788 multiply 1e-600000000 1e-400099997 -> 1E-1000099997 Subnormal 575 mulx789 multiply 1e-600000000 1e-400099998 -> 0E-1000099997 Underflow Subnormal Inexact Rounded Clamped 576 precision: 999999 577 mulx790 multiply 1e-600000000 1e-400999997 -> 1E-1000999997 Subnormal 578 mulx791 multiply 1e-600000000 1e-400999998 -> 0E-1000999997 Underflow Subnormal Inexact Rounded Clamped 579 precision: 9999999 580 mulx792 multiply 1e-600000000 1e-409999997 -> 1E-1009999997 Subnormal 581 mulx793 multiply 1e-600000000 1e-409999998 -> 0E-1009999997 Underflow Subnormal Inexact Rounded Clamped 582 precision: 99999999 583 mulx794 multiply 1e-600000000 1e-499999997 -> 1E-1099999997 Subnormal 584 mulx795 multiply 1e-600000000 1e-499999998 -> 0E-1099999997 Underflow Subnormal Inexact Rounded Clamped 585 precision: 999999999 586 mulx796 multiply 1e-999999999 1e-999999997 -> 1E-1999999996 Subnormal 587 mulx797 multiply 1e-999999999 1e-999999998 -> 1E-1999999997 Subnormal 588 mulx798 multiply 1e-999999999 1e-999999999 -> 0E-1999999997 Underflow Subnormal Inexact Rounded Clamped 589 mulx799 multiply 1e-600000000 1e-400000007 -> 1E-1000000007 Subnormal 590 mulx800 multiply 1e-600000000 1e-400000008 -> 1E-1000000008 Subnormal 591 592 -- test subnormals rounding 593 precision: 5 594 maxExponent: 999 595 minexponent: -999 596 rounding: half_even 597 598 mulx801 multiply 1.0000E-999 1 -> 1.0000E-999 599 mulx802 multiply 1.000E-999 1e-1 -> 1.000E-1000 Subnormal 600 mulx803 multiply 1.00E-999 1e-2 -> 1.00E-1001 Subnormal 601 mulx804 multiply 1.0E-999 1e-3 -> 1.0E-1002 Subnormal 602 mulx805 multiply 1.0E-999 1e-4 -> 1E-1003 Subnormal Rounded 603 mulx806 multiply 1.3E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded 604 mulx807 multiply 1.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 605 mulx808 multiply 1.7E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 606 mulx809 multiply 2.3E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 607 mulx810 multiply 2.5E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 608 mulx811 multiply 2.7E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded 609 mulx812 multiply 1.49E-999 1e-4 -> 1E-1003 Underflow Subnormal Inexact Rounded 610 mulx813 multiply 1.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 611 mulx814 multiply 1.51E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 612 mulx815 multiply 2.49E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 613 mulx816 multiply 2.50E-999 1e-4 -> 2E-1003 Underflow Subnormal Inexact Rounded 614 mulx817 multiply 2.51E-999 1e-4 -> 3E-1003 Underflow Subnormal Inexact Rounded 615 616 mulx818 multiply 1E-999 1e-4 -> 1E-1003 Subnormal 617 mulx819 multiply 3E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped 618 mulx820 multiply 5E-999 1e-5 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped 619 mulx821 multiply 7E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded 620 mulx822 multiply 9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded 621 mulx823 multiply 9.9E-999 1e-5 -> 1E-1003 Underflow Subnormal Inexact Rounded 622 623 mulx824 multiply 1E-999 -1e-4 -> -1E-1003 Subnormal 624 mulx825 multiply 3E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped 625 mulx826 multiply -5E-999 1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped 626 mulx827 multiply 7E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded 627 mulx828 multiply -9E-999 1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded 628 mulx829 multiply 9.9E-999 -1e-5 -> -1E-1003 Underflow Subnormal Inexact Rounded 629 mulx830 multiply 3.0E-999 -1e-5 -> -0E-1003 Underflow Subnormal Inexact Rounded Clamped 630 631 mulx831 multiply 1.0E-501 1e-501 -> 1.0E-1002 Subnormal 632 mulx832 multiply 2.0E-501 2e-501 -> 4.0E-1002 Subnormal 633 mulx833 multiply 4.0E-501 4e-501 -> 1.60E-1001 Subnormal 634 mulx834 multiply 10.0E-501 10e-501 -> 1.000E-1000 Subnormal 635 mulx835 multiply 30.0E-501 30e-501 -> 9.000E-1000 Subnormal 636 mulx836 multiply 40.0E-501 40e-501 -> 1.6000E-999 637 638 -- squares 639 mulx840 multiply 1E-502 1e-502 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped 640 mulx841 multiply 1E-501 1e-501 -> 1E-1002 Subnormal 641 mulx842 multiply 2E-501 2e-501 -> 4E-1002 Subnormal 642 mulx843 multiply 4E-501 4e-501 -> 1.6E-1001 Subnormal 643 mulx844 multiply 10E-501 10e-501 -> 1.00E-1000 Subnormal 644 mulx845 multiply 30E-501 30e-501 -> 9.00E-1000 Subnormal 645 mulx846 multiply 40E-501 40e-501 -> 1.600E-999 646 647 -- cubes 648 mulx850 multiply 1E-670 1e-335 -> 0E-1003 Underflow Subnormal Inexact Rounded Clamped 649 mulx851 multiply 1E-668 1e-334 -> 1E-1002 Subnormal 650 mulx852 multiply 4E-668 2e-334 -> 8E-1002 Subnormal 651 mulx853 multiply 9E-668 3e-334 -> 2.7E-1001 Subnormal 652 mulx854 multiply 16E-668 4e-334 -> 6.4E-1001 Subnormal 653 mulx855 multiply 25E-668 5e-334 -> 1.25E-1000 Subnormal 654 mulx856 multiply 10E-668 100e-334 -> 1.000E-999 655 656 -- test derived from result of 0.099 ** 999 at 15 digits with unlimited exponent 657 precision: 19 658 mulx860 multiply 6636851557994578716E-520 6636851557994578716E-520 -> 4.40477986028551E-1003 Underflow Subnormal Inexact Rounded 659 660 -- Long operand overflow may be a different path 661 precision: 3 662 maxExponent: 999999999 663 minexponent: -999999999 664 mulx870 multiply 1 9.999E+999999999 -> Infinity Inexact Overflow Rounded 665 mulx871 multiply 1 -9.999E+999999999 -> -Infinity Inexact Overflow Rounded 666 mulx872 multiply 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded 667 mulx873 multiply -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded 668 669 -- check for double-rounded subnormals 670 precision: 5 671 maxexponent: 79 672 minexponent: -79 673 mulx881 multiply 1.2347E-40 1.2347E-40 -> 1.524E-80 Inexact Rounded Subnormal Underflow 674 mulx882 multiply 1.234E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow 675 mulx883 multiply 1.23E-40 1.23E-40 -> 1.513E-80 Inexact Rounded Subnormal Underflow 676 mulx884 multiply 1.2E-40 1.2E-40 -> 1.44E-80 Subnormal 677 mulx885 multiply 1.2E-40 1.2E-41 -> 1.44E-81 Subnormal 678 mulx886 multiply 1.2E-40 1.2E-42 -> 1.4E-82 Subnormal Inexact Rounded Underflow 679 mulx887 multiply 1.2E-40 1.3E-42 -> 1.6E-82 Subnormal Inexact Rounded Underflow 680 mulx888 multiply 1.3E-40 1.3E-42 -> 1.7E-82 Subnormal Inexact Rounded Underflow 681 mulx889 multiply 1.3E-40 1.3E-43 -> 2E-83 Subnormal Inexact Rounded Underflow 682 mulx890 multiply 1.3E-41 1.3E-43 -> 0E-83 Clamped Subnormal Inexact Rounded Underflow 683 684 mulx891 multiply 1.2345E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded 685 mulx892 multiply 1.23456E-39 1.234E-40 -> 1.5234E-79 Inexact Rounded 686 mulx893 multiply 1.2345E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow 687 mulx894 multiply 1.23456E-40 1.234E-40 -> 1.523E-80 Inexact Rounded Subnormal Underflow 688 mulx895 multiply 1.2345E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow 689 mulx896 multiply 1.23456E-41 1.234E-40 -> 1.52E-81 Inexact Rounded Subnormal Underflow 690 691 -- Now explore the case where we get a normal result with Underflow 692 precision: 16 693 rounding: half_up 694 maxExponent: 384 695 minExponent: -383 696 697 mulx900 multiply 0.3000000000E-191 0.3000000000E-191 -> 9.00000000000000E-384 Subnormal Rounded 698 mulx901 multiply 0.3000000001E-191 0.3000000001E-191 -> 9.00000000600000E-384 Underflow Inexact Subnormal Rounded 699 mulx902 multiply 9.999999999999999E-383 0.0999999999999 -> 9.99999999999000E-384 Underflow Inexact Subnormal Rounded 700 mulx903 multiply 9.999999999999999E-383 0.09999999999999 -> 9.99999999999900E-384 Underflow Inexact Subnormal Rounded 701 mulx904 multiply 9.999999999999999E-383 0.099999999999999 -> 9.99999999999990E-384 Underflow Inexact Subnormal Rounded 702 mulx905 multiply 9.999999999999999E-383 0.0999999999999999 -> 9.99999999999999E-384 Underflow Inexact Subnormal Rounded 703 -- prove operands are exact 704 mulx906 multiply 9.999999999999999E-383 1 -> 9.999999999999999E-383 705 mulx907 multiply 1 0.09999999999999999 -> 0.09999999999999999 706 -- the next rounds to Nmin 707 mulx908 multiply 9.999999999999999E-383 0.09999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 708 mulx909 multiply 9.999999999999999E-383 0.099999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 709 mulx910 multiply 9.999999999999999E-383 0.0999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 710 mulx911 multiply 9.999999999999999E-383 0.09999999999999999999 -> 1.000000000000000E-383 Underflow Inexact Subnormal Rounded 711 712 713 -- Examples from SQL proposal (Krishna Kulkarni) 714 precision: 34 715 rounding: half_up 716 maxExponent: 6144 717 minExponent: -6143 718 mulx1001 multiply 130E-2 120E-2 -> 1.5600 719 mulx1002 multiply 130E-2 12E-1 -> 1.560 720 mulx1003 multiply 130E-2 1E0 -> 1.30 721 mulx1004 multiply 1E2 1E4 -> 1E+6 722 723 -- payload decapitate 724 precision: 5 725 mulx1010 multiply 11 -sNaN1234567890 -> -NaN67890 Invalid_operation 726 727 -- Null tests 728 mulx990 multiply 10 # -> NaN Invalid_operation 729 mulx991 multiply # 10 -> NaN Invalid_operation 730