github.com/cockroachdb/apd/v3@v3.2.0/testdata/divideint.decTest (about) 1 ------------------------------------------------------------------------ 2 -- divideint.decTest -- decimal integer division -- 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 dvix001 divideint 1 1 -> 1 28 dvix002 divideint 2 1 -> 2 29 dvix003 divideint 1 2 -> 0 30 dvix004 divideint 2 2 -> 1 31 dvix005 divideint 0 1 -> 0 32 dvix006 divideint 0 2 -> 0 33 dvix007 divideint 1 3 -> 0 34 dvix008 divideint 2 3 -> 0 35 dvix009 divideint 3 3 -> 1 36 37 dvix010 divideint 2.4 1 -> 2 38 dvix011 divideint 2.4 -1 -> -2 39 dvix012 divideint -2.4 1 -> -2 40 dvix013 divideint -2.4 -1 -> 2 41 dvix014 divideint 2.40 1 -> 2 42 dvix015 divideint 2.400 1 -> 2 43 dvix016 divideint 2.4 2 -> 1 44 dvix017 divideint 2.400 2 -> 1 45 dvix018 divideint 2. 2 -> 1 46 dvix019 divideint 20 20 -> 1 47 48 dvix020 divideint 187 187 -> 1 49 dvix021 divideint 5 2 -> 2 50 dvix022 divideint 5 2.0 -> 2 51 dvix023 divideint 5 2.000 -> 2 52 dvix024 divideint 5 0.200 -> 25 53 dvix025 divideint 5 0.200 -> 25 54 55 dvix030 divideint 1 2 -> 0 56 dvix031 divideint 1 4 -> 0 57 dvix032 divideint 1 8 -> 0 58 dvix033 divideint 1 16 -> 0 59 dvix034 divideint 1 32 -> 0 60 dvix035 divideint 1 64 -> 0 61 dvix040 divideint 1 -2 -> -0 62 dvix041 divideint 1 -4 -> -0 63 dvix042 divideint 1 -8 -> -0 64 dvix043 divideint 1 -16 -> -0 65 dvix044 divideint 1 -32 -> -0 66 dvix045 divideint 1 -64 -> -0 67 dvix050 divideint -1 2 -> -0 68 dvix051 divideint -1 4 -> -0 69 dvix052 divideint -1 8 -> -0 70 dvix053 divideint -1 16 -> -0 71 dvix054 divideint -1 32 -> -0 72 dvix055 divideint -1 64 -> -0 73 dvix060 divideint -1 -2 -> 0 74 dvix061 divideint -1 -4 -> 0 75 dvix062 divideint -1 -8 -> 0 76 dvix063 divideint -1 -16 -> 0 77 dvix064 divideint -1 -32 -> 0 78 dvix065 divideint -1 -64 -> 0 79 80 -- similar with powers of ten 81 dvix160 divideint 1 1 -> 1 82 dvix161 divideint 1 10 -> 0 83 dvix162 divideint 1 100 -> 0 84 dvix163 divideint 1 1000 -> 0 85 dvix164 divideint 1 10000 -> 0 86 dvix165 divideint 1 100000 -> 0 87 dvix166 divideint 1 1000000 -> 0 88 dvix167 divideint 1 10000000 -> 0 89 dvix168 divideint 1 100000000 -> 0 90 dvix170 divideint 1 -1 -> -1 91 dvix171 divideint 1 -10 -> -0 92 dvix172 divideint 1 -100 -> -0 93 dvix173 divideint 1 -1000 -> -0 94 dvix174 divideint 1 -10000 -> -0 95 dvix175 divideint 1 -100000 -> -0 96 dvix176 divideint 1 -1000000 -> -0 97 dvix177 divideint 1 -10000000 -> -0 98 dvix178 divideint 1 -100000000 -> -0 99 dvix180 divideint -1 1 -> -1 100 dvix181 divideint -1 10 -> -0 101 dvix182 divideint -1 100 -> -0 102 dvix183 divideint -1 1000 -> -0 103 dvix184 divideint -1 10000 -> -0 104 dvix185 divideint -1 100000 -> -0 105 dvix186 divideint -1 1000000 -> -0 106 dvix187 divideint -1 10000000 -> -0 107 dvix188 divideint -1 100000000 -> -0 108 dvix190 divideint -1 -1 -> 1 109 dvix191 divideint -1 -10 -> 0 110 dvix192 divideint -1 -100 -> 0 111 dvix193 divideint -1 -1000 -> 0 112 dvix194 divideint -1 -10000 -> 0 113 dvix195 divideint -1 -100000 -> 0 114 dvix196 divideint -1 -1000000 -> 0 115 dvix197 divideint -1 -10000000 -> 0 116 dvix198 divideint -1 -100000000 -> 0 117 118 -- some long operand cases here 119 dvix070 divideint 999999999 1 -> 999999999 120 dvix071 divideint 999999999.4 1 -> 999999999 121 dvix072 divideint 999999999.5 1 -> 999999999 122 dvix073 divideint 999999999.9 1 -> 999999999 123 dvix074 divideint 999999999.999 1 -> 999999999 124 precision: 6 125 dvix080 divideint 999999999 1 -> NaN Division_impossible 126 dvix081 divideint 99999999 1 -> NaN Division_impossible 127 dvix082 divideint 9999999 1 -> NaN Division_impossible 128 dvix083 divideint 999999 1 -> 999999 129 dvix084 divideint 99999 1 -> 99999 130 dvix085 divideint 9999 1 -> 9999 131 dvix086 divideint 999 1 -> 999 132 dvix087 divideint 99 1 -> 99 133 dvix088 divideint 9 1 -> 9 134 135 precision: 9 136 dvix090 divideint 0. 1 -> 0 137 dvix091 divideint .0 1 -> 0 138 dvix092 divideint 0.00 1 -> 0 139 dvix093 divideint 0.00E+9 1 -> 0 140 dvix094 divideint 0.0000E-50 1 -> 0 141 142 dvix100 divideint 1 1 -> 1 143 dvix101 divideint 1 2 -> 0 144 dvix102 divideint 1 3 -> 0 145 dvix103 divideint 1 4 -> 0 146 dvix104 divideint 1 5 -> 0 147 dvix105 divideint 1 6 -> 0 148 dvix106 divideint 1 7 -> 0 149 dvix107 divideint 1 8 -> 0 150 dvix108 divideint 1 9 -> 0 151 dvix109 divideint 1 10 -> 0 152 dvix110 divideint 1 1 -> 1 153 dvix111 divideint 2 1 -> 2 154 dvix112 divideint 3 1 -> 3 155 dvix113 divideint 4 1 -> 4 156 dvix114 divideint 5 1 -> 5 157 dvix115 divideint 6 1 -> 6 158 dvix116 divideint 7 1 -> 7 159 dvix117 divideint 8 1 -> 8 160 dvix118 divideint 9 1 -> 9 161 dvix119 divideint 10 1 -> 10 162 163 -- from DiagBigDecimal 164 dvix131 divideint 101.3 1 -> 101 165 dvix132 divideint 101.0 1 -> 101 166 dvix133 divideint 101.3 3 -> 33 167 dvix134 divideint 101.0 3 -> 33 168 dvix135 divideint 2.4 1 -> 2 169 dvix136 divideint 2.400 1 -> 2 170 dvix137 divideint 18 18 -> 1 171 dvix138 divideint 1120 1000 -> 1 172 dvix139 divideint 2.4 2 -> 1 173 dvix140 divideint 2.400 2 -> 1 174 dvix141 divideint 0.5 2.000 -> 0 175 dvix142 divideint 8.005 7 -> 1 176 dvix143 divideint 5 2 -> 2 177 dvix144 divideint 0 2 -> 0 178 dvix145 divideint 0.00 2 -> 0 179 180 -- Others 181 dvix150 divideint 12345 4.999 -> 2469 182 dvix151 divideint 12345 4.99 -> 2473 183 dvix152 divideint 12345 4.9 -> 2519 184 dvix153 divideint 12345 5 -> 2469 185 dvix154 divideint 12345 5.1 -> 2420 186 dvix155 divideint 12345 5.01 -> 2464 187 dvix156 divideint 12345 5.001 -> 2468 188 dvix157 divideint 101 7.6 -> 13 189 190 -- Various flavours of divideint by 0 191 maxexponent: 999999999 192 minexponent: -999999999 193 dvix201 divideint 0 0 -> NaN Division_undefined 194 dvix202 divideint 0.0E5 0 -> NaN Division_undefined 195 dvix203 divideint 0.000 0 -> NaN Division_undefined 196 dvix204 divideint 0.0001 0 -> Infinity Division_by_zero 197 dvix205 divideint 0.01 0 -> Infinity Division_by_zero 198 dvix206 divideint 0.1 0 -> Infinity Division_by_zero 199 dvix207 divideint 1 0 -> Infinity Division_by_zero 200 dvix208 divideint 1 0.0 -> Infinity Division_by_zero 201 dvix209 divideint 10 0.0 -> Infinity Division_by_zero 202 dvix210 divideint 1E+100 0.0 -> Infinity Division_by_zero 203 dvix211 divideint 1E+1000 0 -> Infinity Division_by_zero 204 dvix214 divideint -0.0001 0 -> -Infinity Division_by_zero 205 dvix215 divideint -0.01 0 -> -Infinity Division_by_zero 206 dvix216 divideint -0.1 0 -> -Infinity Division_by_zero 207 dvix217 divideint -1 0 -> -Infinity Division_by_zero 208 dvix218 divideint -1 0.0 -> -Infinity Division_by_zero 209 dvix219 divideint -10 0.0 -> -Infinity Division_by_zero 210 dvix220 divideint -1E+100 0.0 -> -Infinity Division_by_zero 211 dvix221 divideint -1E+1000 0 -> -Infinity Division_by_zero 212 213 -- test some cases that are close to exponent overflow 214 maxexponent: 999999999 215 minexponent: -999999999 216 dvix270 divideint 1 1e999999999 -> 0 217 dvix271 divideint 1 0.9e999999999 -> 0 218 dvix272 divideint 1 0.99e999999999 -> 0 219 dvix273 divideint 1 0.999999999e999999999 -> 0 220 dvix274 divideint 9e999999999 1 -> NaN Division_impossible 221 dvix275 divideint 9.9e999999999 1 -> NaN Division_impossible 222 dvix276 divideint 9.99e999999999 1 -> NaN Division_impossible 223 dvix277 divideint 9.99999999e999999999 1 -> NaN Division_impossible 224 225 dvix280 divideint 0.1 9e-999999999 -> NaN Division_impossible 226 dvix281 divideint 0.1 99e-999999999 -> NaN Division_impossible 227 dvix282 divideint 0.1 999e-999999999 -> NaN Division_impossible 228 229 dvix283 divideint 0.1 9e-999999998 -> NaN Division_impossible 230 dvix284 divideint 0.1 99e-999999998 -> NaN Division_impossible 231 dvix285 divideint 0.1 999e-999999998 -> NaN Division_impossible 232 dvix286 divideint 0.1 999e-999999997 -> NaN Division_impossible 233 dvix287 divideint 0.1 9999e-999999997 -> NaN Division_impossible 234 dvix288 divideint 0.1 99999e-999999997 -> NaN Division_impossible 235 236 -- GD edge cases: lhs smaller than rhs but more digits 237 dvix301 divideint 0.9 2 -> 0 238 dvix302 divideint 0.9 2.0 -> 0 239 dvix303 divideint 0.9 2.1 -> 0 240 dvix304 divideint 0.9 2.00 -> 0 241 dvix305 divideint 0.9 2.01 -> 0 242 dvix306 divideint 0.12 1 -> 0 243 dvix307 divideint 0.12 1.0 -> 0 244 dvix308 divideint 0.12 1.00 -> 0 245 dvix309 divideint 0.12 1.0 -> 0 246 dvix310 divideint 0.12 1.00 -> 0 247 dvix311 divideint 0.12 2 -> 0 248 dvix312 divideint 0.12 2.0 -> 0 249 dvix313 divideint 0.12 2.1 -> 0 250 dvix314 divideint 0.12 2.00 -> 0 251 dvix315 divideint 0.12 2.01 -> 0 252 253 -- overflow and underflow tests [from divide] 254 maxexponent: 999999999 255 minexponent: -999999999 256 dvix330 divideint +1.23456789012345E-0 9E+999999999 -> 0 257 dvix331 divideint 9E+999999999 +0.23456789012345E-0 -> NaN Division_impossible 258 dvix332 divideint +0.100 9E+999999999 -> 0 259 dvix333 divideint 9E-999999999 +9.100 -> 0 260 dvix335 divideint -1.23456789012345E-0 9E+999999999 -> -0 261 dvix336 divideint 9E+999999999 -0.83456789012345E-0 -> NaN Division_impossible 262 dvix337 divideint -0.100 9E+999999999 -> -0 263 dvix338 divideint 9E-999999999 -9.100 -> -0 264 265 -- long operand checks 266 maxexponent: 999 267 minexponent: -999 268 precision: 9 269 dvix401 divideint 12345678000 100 -> 123456780 270 dvix402 divideint 1 12345678000 -> 0 271 dvix403 divideint 1234567800 10 -> 123456780 272 dvix404 divideint 1 1234567800 -> 0 273 dvix405 divideint 1234567890 10 -> 123456789 274 dvix406 divideint 1 1234567890 -> 0 275 dvix407 divideint 1234567891 10 -> 123456789 276 dvix408 divideint 1 1234567891 -> 0 277 dvix409 divideint 12345678901 100 -> 123456789 278 dvix410 divideint 1 12345678901 -> 0 279 dvix411 divideint 1234567896 10 -> 123456789 280 dvix412 divideint 1 1234567896 -> 0 281 dvix413 divideint 12345678948 100 -> 123456789 282 dvix414 divideint 12345678949 100 -> 123456789 283 dvix415 divideint 12345678950 100 -> 123456789 284 dvix416 divideint 12345678951 100 -> 123456789 285 dvix417 divideint 12345678999 100 -> 123456789 286 287 precision: 15 288 dvix441 divideint 12345678000 1 -> 12345678000 289 dvix442 divideint 1 12345678000 -> 0 290 dvix443 divideint 1234567800 1 -> 1234567800 291 dvix444 divideint 1 1234567800 -> 0 292 dvix445 divideint 1234567890 1 -> 1234567890 293 dvix446 divideint 1 1234567890 -> 0 294 dvix447 divideint 1234567891 1 -> 1234567891 295 dvix448 divideint 1 1234567891 -> 0 296 dvix449 divideint 12345678901 1 -> 12345678901 297 dvix450 divideint 1 12345678901 -> 0 298 dvix451 divideint 1234567896 1 -> 1234567896 299 dvix452 divideint 1 1234567896 -> 0 300 301 precision: 9 302 rounding: half_up 303 maxExponent: 999 304 minexponent: -999 305 306 -- more zeros, etc. 307 dvix531 divideint 5.00 1E-3 -> 5000 308 dvix532 divideint 00.00 0.000 -> NaN Division_undefined 309 dvix533 divideint 00.00 0E-3 -> NaN Division_undefined 310 dvix534 divideint 0 -0 -> NaN Division_undefined 311 dvix535 divideint -0 0 -> NaN Division_undefined 312 dvix536 divideint -0 -0 -> NaN Division_undefined 313 314 dvix541 divideint 0 -1 -> -0 315 dvix542 divideint -0 -1 -> 0 316 dvix543 divideint 0 1 -> 0 317 dvix544 divideint -0 1 -> -0 318 dvix545 divideint -1 0 -> -Infinity Division_by_zero 319 dvix546 divideint -1 -0 -> Infinity Division_by_zero 320 dvix547 divideint 1 0 -> Infinity Division_by_zero 321 dvix548 divideint 1 -0 -> -Infinity Division_by_zero 322 323 dvix551 divideint 0.0 -1 -> -0 324 dvix552 divideint -0.0 -1 -> 0 325 dvix553 divideint 0.0 1 -> 0 326 dvix554 divideint -0.0 1 -> -0 327 dvix555 divideint -1.0 0 -> -Infinity Division_by_zero 328 dvix556 divideint -1.0 -0 -> Infinity Division_by_zero 329 dvix557 divideint 1.0 0 -> Infinity Division_by_zero 330 dvix558 divideint 1.0 -0 -> -Infinity Division_by_zero 331 332 dvix561 divideint 0 -1.0 -> -0 333 dvix562 divideint -0 -1.0 -> 0 334 dvix563 divideint 0 1.0 -> 0 335 dvix564 divideint -0 1.0 -> -0 336 dvix565 divideint -1 0.0 -> -Infinity Division_by_zero 337 dvix566 divideint -1 -0.0 -> Infinity Division_by_zero 338 dvix567 divideint 1 0.0 -> Infinity Division_by_zero 339 dvix568 divideint 1 -0.0 -> -Infinity Division_by_zero 340 341 dvix571 divideint 0.0 -1.0 -> -0 342 dvix572 divideint -0.0 -1.0 -> 0 343 dvix573 divideint 0.0 1.0 -> 0 344 dvix574 divideint -0.0 1.0 -> -0 345 dvix575 divideint -1.0 0.0 -> -Infinity Division_by_zero 346 dvix576 divideint -1.0 -0.0 -> Infinity Division_by_zero 347 dvix577 divideint 1.0 0.0 -> Infinity Division_by_zero 348 dvix578 divideint 1.0 -0.0 -> -Infinity Division_by_zero 349 350 -- Specials 351 dvix580 divideint Inf -Inf -> NaN Invalid_operation 352 dvix581 divideint Inf -1000 -> -Infinity 353 dvix582 divideint Inf -1 -> -Infinity 354 dvix583 divideint Inf -0 -> -Infinity 355 dvix584 divideint Inf 0 -> Infinity 356 dvix585 divideint Inf 1 -> Infinity 357 dvix586 divideint Inf 1000 -> Infinity 358 dvix587 divideint Inf Inf -> NaN Invalid_operation 359 dvix588 divideint -1000 Inf -> -0 360 dvix589 divideint -Inf Inf -> NaN Invalid_operation 361 dvix590 divideint -1 Inf -> -0 362 dvix591 divideint -0 Inf -> -0 363 dvix592 divideint 0 Inf -> 0 364 dvix593 divideint 1 Inf -> 0 365 dvix594 divideint 1000 Inf -> 0 366 dvix595 divideint Inf Inf -> NaN Invalid_operation 367 368 dvix600 divideint -Inf -Inf -> NaN Invalid_operation 369 dvix601 divideint -Inf -1000 -> Infinity 370 dvix602 divideint -Inf -1 -> Infinity 371 dvix603 divideint -Inf -0 -> Infinity 372 dvix604 divideint -Inf 0 -> -Infinity 373 dvix605 divideint -Inf 1 -> -Infinity 374 dvix606 divideint -Inf 1000 -> -Infinity 375 dvix607 divideint -Inf Inf -> NaN Invalid_operation 376 dvix608 divideint -1000 Inf -> -0 377 dvix609 divideint -Inf -Inf -> NaN Invalid_operation 378 dvix610 divideint -1 -Inf -> 0 379 dvix611 divideint -0 -Inf -> 0 380 dvix612 divideint 0 -Inf -> -0 381 dvix613 divideint 1 -Inf -> -0 382 dvix614 divideint 1000 -Inf -> -0 383 dvix615 divideint Inf -Inf -> NaN Invalid_operation 384 385 dvix621 divideint NaN -Inf -> NaN 386 dvix622 divideint NaN -1000 -> NaN 387 dvix623 divideint NaN -1 -> NaN 388 dvix624 divideint NaN -0 -> NaN 389 dvix625 divideint NaN 0 -> NaN 390 dvix626 divideint NaN 1 -> NaN 391 dvix627 divideint NaN 1000 -> NaN 392 dvix628 divideint NaN Inf -> NaN 393 dvix629 divideint NaN NaN -> NaN 394 dvix630 divideint -Inf NaN -> NaN 395 dvix631 divideint -1000 NaN -> NaN 396 dvix632 divideint -1 NaN -> NaN 397 dvix633 divideint -0 NaN -> NaN 398 dvix634 divideint 0 NaN -> NaN 399 dvix635 divideint 1 NaN -> NaN 400 dvix636 divideint 1000 NaN -> NaN 401 dvix637 divideint Inf NaN -> NaN 402 403 dvix641 divideint sNaN -Inf -> NaN Invalid_operation 404 dvix642 divideint sNaN -1000 -> NaN Invalid_operation 405 dvix643 divideint sNaN -1 -> NaN Invalid_operation 406 dvix644 divideint sNaN -0 -> NaN Invalid_operation 407 dvix645 divideint sNaN 0 -> NaN Invalid_operation 408 dvix646 divideint sNaN 1 -> NaN Invalid_operation 409 dvix647 divideint sNaN 1000 -> NaN Invalid_operation 410 dvix648 divideint sNaN NaN -> NaN Invalid_operation 411 dvix649 divideint sNaN sNaN -> NaN Invalid_operation 412 dvix650 divideint NaN sNaN -> NaN Invalid_operation 413 dvix651 divideint -Inf sNaN -> NaN Invalid_operation 414 dvix652 divideint -1000 sNaN -> NaN Invalid_operation 415 dvix653 divideint -1 sNaN -> NaN Invalid_operation 416 dvix654 divideint -0 sNaN -> NaN Invalid_operation 417 dvix655 divideint 0 sNaN -> NaN Invalid_operation 418 dvix656 divideint 1 sNaN -> NaN Invalid_operation 419 dvix657 divideint 1000 sNaN -> NaN Invalid_operation 420 dvix658 divideint Inf sNaN -> NaN Invalid_operation 421 dvix659 divideint NaN sNaN -> NaN Invalid_operation 422 423 -- propagating NaNs 424 dvix661 divideint NaN9 -Inf -> NaN9 425 dvix662 divideint NaN8 1000 -> NaN8 426 dvix663 divideint NaN7 Inf -> NaN7 427 dvix664 divideint -NaN6 NaN5 -> -NaN6 428 dvix665 divideint -Inf NaN4 -> NaN4 429 dvix666 divideint -1000 NaN3 -> NaN3 430 dvix667 divideint Inf -NaN2 -> -NaN2 431 432 dvix671 divideint -sNaN99 -Inf -> -NaN99 Invalid_operation 433 dvix672 divideint sNaN98 -1 -> NaN98 Invalid_operation 434 dvix673 divideint sNaN97 NaN -> NaN97 Invalid_operation 435 dvix674 divideint sNaN96 sNaN94 -> NaN96 Invalid_operation 436 dvix675 divideint NaN95 sNaN93 -> NaN93 Invalid_operation 437 dvix676 divideint -Inf sNaN92 -> NaN92 Invalid_operation 438 dvix677 divideint 0 sNaN91 -> NaN91 Invalid_operation 439 dvix678 divideint Inf -sNaN90 -> -NaN90 Invalid_operation 440 dvix679 divideint NaN sNaN89 -> NaN89 Invalid_operation 441 442 -- some long operand cases again 443 precision: 8 444 dvix710 divideint 100000001 1 -> NaN Division_impossible 445 dvix711 divideint 100000000.4 1 -> NaN Division_impossible 446 dvix712 divideint 100000000.5 1 -> NaN Division_impossible 447 dvix713 divideint 100000000.9 1 -> NaN Division_impossible 448 dvix714 divideint 100000000.999 1 -> NaN Division_impossible 449 precision: 6 450 dvix720 divideint 100000000 1 -> NaN Division_impossible 451 dvix721 divideint 10000000 1 -> NaN Division_impossible 452 dvix722 divideint 1000000 1 -> NaN Division_impossible 453 dvix723 divideint 100000 1 -> 100000 454 dvix724 divideint 10000 1 -> 10000 455 dvix725 divideint 1000 1 -> 1000 456 dvix726 divideint 100 1 -> 100 457 dvix727 divideint 10 1 -> 10 458 dvix728 divideint 1 1 -> 1 459 dvix729 divideint 1 10 -> 0 460 461 precision: 9 462 maxexponent: 999999999 463 minexponent: -999999999 464 dvix732 divideint 1 0.99e999999999 -> 0 465 dvix733 divideint 1 0.999999999e999999999 -> 0 466 dvix734 divideint 9e999999999 1 -> NaN Division_impossible 467 dvix735 divideint 9.9e999999999 1 -> NaN Division_impossible 468 dvix736 divideint 9.99e999999999 1 -> NaN Division_impossible 469 dvix737 divideint 9.99999999e999999999 1 -> NaN Division_impossible 470 471 dvix740 divideint 0.1 9e-999999999 -> NaN Division_impossible 472 dvix741 divideint 0.1 99e-999999999 -> NaN Division_impossible 473 dvix742 divideint 0.1 999e-999999999 -> NaN Division_impossible 474 475 dvix743 divideint 0.1 9e-999999998 -> NaN Division_impossible 476 dvix744 divideint 0.1 99e-999999998 -> NaN Division_impossible 477 dvix745 divideint 0.1 999e-999999998 -> NaN Division_impossible 478 dvix746 divideint 0.1 999e-999999997 -> NaN Division_impossible 479 dvix747 divideint 0.1 9999e-999999997 -> NaN Division_impossible 480 dvix748 divideint 0.1 99999e-999999997 -> NaN Division_impossible 481 482 483 -- Null tests 484 dvix900 divideint 10 # -> NaN Invalid_operation 485 dvix901 divideint # 10 -> NaN Invalid_operation