Lib/test/decimaltestdata/multiply.decTest

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