lib/Math/BigInt/t/bigfltpm.inc

   1 #include this file into another test for subclass testing...
   2 while (<DATA>)
   3   {
   4   chop;
   5   $_ =~ s/#.*$//;       # remove comments
   6   $_ =~ s/\s+$//;       # trailing spaces
   7   next if /^$/;         # skip empty lines & comments
   8   if (s/^&//)
   9     {
  10     $f = $_;
  11     }
  12   elsif (/^\$/)
  13     {
  14     $setup = $_; $setup =~ s/\$/\$${class}::/g; # round_mode, div_scale
  15     #print "\$setup== $setup\n";
  16     }
  17   else
  18     {
  19     if (m|^(.*?):(/.+)$|)
  20       {
  21       $ans = $2;
  22       @args = split(/:/,$1,99);
  23       }
  24     else
  25       {
  26       @args = split(/:/,$_,99); $ans = pop(@args);
  27       }
  28     $try = "\$x = new $class \"$args[0]\";";
  29     if ($f eq "fnorm")
  30       {
  31         $try .= "\$x;";
  32       } elsif ($f eq "finf") {
  33         $try .= "\$x->finf('$args[1]');";
  34       } elsif ($f eq "is_inf") {
  35         $try .= "\$x->is_inf('$args[1]');";
  36       } elsif ($f eq "fone") {
  37         $try .= "\$x->bone('$args[1]');";
  38       } elsif ($f eq "fstr") {
  39         $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);";
  40         $try .= '$x->fstr();';
  41       } elsif ($f eq "parts") {
  42         # ->bstr() to see if an object is returned
  43         $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();';
  44         $try .= '"$a $b";';
  45       } elsif ($f eq "exponent") {
  46         # ->bstr() to see if an object is returned
  47         $try .= '$x->exponent()->bstr();';
  48       } elsif ($f eq "mantissa") {
  49         # ->bstr() to see if an object is returned
  50         $try .= '$x->mantissa()->bstr();';
  51       } elsif ($f eq "numify") {
  52         $try .= "\$x->numify();";
  53       } elsif ($f eq "length") {
  54         $try .= "\$x->length();";
  55       # some unary ops (test the bxxx form, since that is done by AUTOLOAD)
  56       } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|abs)$/) {
  57         $try .= "\$x->f$1();";
  58       # some is_xxx test function
  59       } elsif ($f =~ /^is_(zero|one|negative|positive|odd|even|nan)$/) {
  60         $try .= "\$x->$f();";
  61       } elsif ($f eq "as_number") {
  62         $try .= '$x->as_number();';
  63       } elsif ($f eq "finc") {
  64         $try .= '++$x;';
  65       } elsif ($f eq "fdec") {
  66         $try .= '--$x;';
  67       }elsif ($f eq "fround") {
  68         $try .= "$setup; \$x->fround($args[1]);";
  69       } elsif ($f eq "ffround") {
  70         $try .= "$setup; \$x->ffround($args[1]);";
  71       } elsif ($f eq "fsqrt") {
  72         $try .= "$setup; \$x->fsqrt();";
  73       }
  74     else
  75       {
  76       $try .= "\$y = new $class \"$args[1]\";";
  77       if ($f eq "fcmp") {
  78         $try .= '$x <=> $y;';
  79       } elsif ($f eq "flog") {
  80         $try .= '$x->flog($y);';
  81       } elsif ($f eq "facmp") {
  82         $try .= '$x->facmp($y);';
  83       } elsif ($f eq "fpow") {
  84         $try .= '$x ** $y;';
  85       } elsif ($f eq "fadd") {
  86         $try .= '$x + $y;';
  87       } elsif ($f eq "fsub") {
  88         $try .= '$x - $y;';
  89       } elsif ($f eq "fmul") {
  90         $try .= '$x * $y;';
  91       } elsif ($f eq "fdiv") {
  92         $try .= "$setup; \$x / \$y;";
  93       } elsif ($f eq "frsft") {
  94         $try .= '$x >> $y;';
  95       } elsif ($f eq "flsft") {
  96         $try .= '$x << $y;';
  97       } elsif ($f eq "fmod") {
  98         $try .= '$x % $y;';
  99       } else { warn "Unknown op '$f'"; }
 100     }
 101     # print "# Trying: '$try'\n";
 102     $ans1 = eval $try;
 103     if ($ans =~ m|^/(.*)$|)
 104       {
 105       my $pat = $1;
 106       if ($ans1 =~ /$pat/)
 107         {
 108         ok (1,1);
 109         }
 110       else
 111         {
 112         print "# '$try' expected: /$pat/ got: '$ans1'\n" if !ok(1,0);
 113         }
 114       }
 115     else
 116       {
 117       if ($ans eq "")
 118         {
 119         ok_undef ($ans1);
 120         }
 121       else
 122         {
 123         print "# Tried: '$try'\n" if !ok ($ans1, $ans);
 124         if (ref($ans1) eq "$class")
 125           {
 126           # float numbers are normalized (for now), so mantissa shouldn't have
 127           # trailing zeros
 128           #print $ans1->_trailing_zeros(),"\n";
 129           print "# Has trailing zeros after '$try'\n"
 130            if !ok ($ans1->{_m}->_trailing_zeros(), 0);
 131           }
 132         }
 133       } # end pattern or string
 134     }
 135   } # end while
 136
 137 # check whether $class->new( Math::BigInt->new()) destroys it
 138 # ($y == 12 in this case)
 139 $x = Math::BigInt->new(1200); $y = $class->new($x);
 140 ok ($y,1200); ok ($x,1200);
 141
 142 ###############################################################################
 143 # fdiv() in list context
 144
 145 $x = $class->bzero(); ($x,$y) = $x->fdiv(0);
 146 ok ($x,'NaN'); ok ($y,'NaN');
 147
 148 # fdiv() in list context
 149 $x = $class->bzero(); ($x,$y) = $x->fdiv(1);
 150 ok ($x,0); ok ($y,0);
 151
 152 $x = $class->new(2); $x->fzero(); ok_undef ($x->{_a}); ok_undef ($x->{_p});
 153 $x = $class->new(2); $x->finf();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 154 $x = $class->new(2); $x->fone();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 155 $x = $class->new(2); $x->fnan();  ok_undef ($x->{_a}); ok_undef ($x->{_p});
 156
 157 ###############################################################################
 158 # fsqrt() with set global A/P or A/P enabled on $x, also a test whether fsqrt()
 159 # correctly modifies $x
 160
 161 $class->accuracy(undef); $class->precision(undef);      # reset
 162
 163 $x = $class->new(12); $class->precision(-2); $x->fsqrt(); ok ($x,'3.46');
 164
 165 $class->precision(undef);
 166 $x = $class->new(12); $class->precision(0); $x->fsqrt(); ok ($x,'3');
 167
 168 $class->precision(-3); $x = $class->new(12); $x->fsqrt(); ok ($x,'3.464');
 169
 170 # A and P set => NaN
 171 $class->accuracy(4); $x = $class->new(12); $x->fsqrt(3); ok ($x,'NaN');
 172 # supplied arg overrides set global
 173 $class->precision(undef); $x = $class->new(12); $x->fsqrt(3); ok ($x,'3.46');
 174
 175 $class->accuracy(undef); $class->precision(undef); # reset for further tests
 176
 177 1; # all done
 178
 179 ###############################################################################
 180 # Perl 5.005 does not like ok ($x,undef)
 181
 182 sub ok_undef
 183   {
 184   my $x = shift;
 185
 186   ok (1,1) and return if !defined $x;
 187   ok ($x,'undef');
 188   }
 189
 190 __DATA__
 191 #&flog
 192 #$div_scale = 14;
 193 #10:0:2.30258509299405
 194 #1000:0:6.90775527898214
 195 #100:0:4.60517018598809
 196 #2:0:0.693147180559945
 197 #3.1415:0:1.14470039286086
 198 #12345:0:9.42100640177928
 199 #0.001:0:-6.90775527898214
 200 ## reset for further tests
 201 #$div_scale = 40;
 202 &frsft
 203 #NaNfrsft:NaN
 204 0:2:0
 205 1:1:0.5
 206 2:1:1
 207 4:1:2
 208 123:1:61.5
 209 32:3:4
 210 &flsft
 211 #NaNflsft:NaN
 212 2:1:4
 213 4:3:32
 214 5:3:40
 215 1:2:4
 216 0:5:0
 217 &fnorm
 218 1:1
 219 -0:0
 220 fnormNaN:NaN
 221 +inf:inf
 222 -inf:-inf
 223 123:123
 224 -123.4567:-123.4567
 225 # invalid inputs
 226 1__2:NaN
 227 1E1__2:NaN
 228 11__2E2:NaN
 229 #1.E3:NaN
 230 .2E-3.:NaN
 231 #1e3e4:NaN
 232 .2E2:20
 233 &as_number
 234 0:0
 235 1:1
 236 1.2:1
 237 2.345:2
 238 -2:-2
 239 -123.456:-123
 240 -200:-200
 241 &finf
 242 1:+:inf
 243 2:-:-inf
 244 3:abc:inf
 245 &numify
 246 0:0e+1
 247 +1:1e+0
 248 1234:1234e+0
 249 NaN:NaN
 250 +inf:inf
 251 -inf:-inf
 252 &fnan
 253 abc:NaN
 254 2:NaN
 255 -2:NaN
 256 0:NaN
 257 &fone
 258 2:+:1
 259 -2:-:-1
 260 -2:+:1
 261 2:-:-1
 262 0::1
 263 -2::1
 264 abc::1
 265 2:abc:1
 266 &fsstr
 267 +inf:inf
 268 -inf:-inf
 269 abcfsstr:NaN
 270 1234.567:1234567e-3
 271 &fstr
 272 +inf:::inf
 273 -inf:::-inf
 274 abcfstr:::NaN
 275 1234.567:9::1234.56700
 276 1234.567::-6:1234.567000
 277 12345:5::12345
 278 0.001234:6::0.00123400
 279 0.001234::-8:0.00123400
 280 0:4::0
 281 0::-4:0.0000
 282 &fnorm
 283 inf:inf
 284 +inf:inf
 285 -inf:-inf
 286 +infinity:NaN
 287 +-inf:NaN
 288 abc:NaN
 289    1 a:NaN
 290 1bcd2:NaN
 291 11111b:NaN
 292 +1z:NaN
 293 -1z:NaN
 294 0:0
 295 +0:0
 296 +00:0
 297 +0_0_0:0
 298 000000_0000000_00000:0
 299 -0:0
 300 -0000:0
 301 +1:1
 302 +01:1
 303 +001:1
 304 +00000100000:100000
 305 123456789:123456789
 306 -1:-1
 307 -01:-1
 308 -001:-1
 309 -123456789:-123456789
 310 -00000100000:-100000
 311 123.456a:NaN
 312 123.456:123.456
 313 0.01:0.01
 314 .002:0.002
 315 +.2:0.2
 316 -0.0003:-0.0003
 317 -.0000000004:-0.0000000004
 318 123456E2:12345600
 319 123456E-2:1234.56
 320 -123456E2:-12345600
 321 -123456E-2:-1234.56
 322 1e1:10
 323 2e-11:0.00000000002
 324 # excercise _split
 325   .02e-1:0.002
 326    000001:1
 327    -00001:-1
 328    -1:-1
 329   000.01:0.01
 330    -000.0023:-0.0023
 331   1.1e1:11
 332 -3e111:-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
 333 -4e-1111:-0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004
 334 &fpow
 335 2:2:4
 336 1:2:1
 337 1:3:1
 338 -1:2:1
 339 -1:3:-1
 340 123.456:2:15241.383936
 341 2:-2:0.25
 342 2:-3:0.125
 343 128:-2:0.00006103515625
 344 abc:123.456:NaN
 345 123.456:abc:NaN
 346 +inf:123.45:inf
 347 -inf:123.45:-inf
 348 +inf:-123.45:inf
 349 -inf:-123.45:-inf
 350 &fneg
 351 fnegNaN:NaN
 352 +inf:-inf
 353 -inf:inf
 354 +0:0
 355 +1:-1
 356 -1:1
 357 +123456789:-123456789
 358 -123456789:123456789
 359 +123.456789:-123.456789
 360 -123456.789:123456.789
 361 &fabs
 362 fabsNaN:NaN
 363 +inf:inf
 364 -inf:inf
 365 +0:0
 366 +1:1
 367 -1:1
 368 +123456789:123456789
 369 -123456789:123456789
 370 +123.456789:123.456789
 371 -123456.789:123456.789
 372 &fround
 373 $round_mode = "trunc"
 374 +inf:5:inf
 375 -inf:5:-inf
 376 0:5:0
 377 NaNfround:5:NaN
 378 +10123456789:5:10123000000
 379 -10123456789:5:-10123000000
 380 +10123456789.123:5:10123000000
 381 -10123456789.123:5:-10123000000
 382 +10123456789:9:10123456700
 383 -10123456789:9:-10123456700
 384 +101234500:6:101234000
 385 -101234500:6:-101234000
 386 $round_mode = "zero"
 387 +20123456789:5:20123000000
 388 -20123456789:5:-20123000000
 389 +20123456789.123:5:20123000000
 390 -20123456789.123:5:-20123000000
 391 +20123456789:9:20123456800
 392 -20123456789:9:-20123456800
 393 +201234500:6:201234000
 394 -201234500:6:-201234000
 395 $round_mode = "+inf"
 396 +30123456789:5:30123000000
 397 -30123456789:5:-30123000000
 398 +30123456789.123:5:30123000000
 399 -30123456789.123:5:-30123000000
 400 +30123456789:9:30123456800
 401 -30123456789:9:-30123456800
 402 +301234500:6:301235000
 403 -301234500:6:-301234000
 404 $round_mode = "-inf"
 405 +40123456789:5:40123000000
 406 -40123456789:5:-40123000000
 407 +40123456789.123:5:40123000000
 408 -40123456789.123:5:-40123000000
 409 +40123456789:9:40123456800
 410 -40123456789:9:-40123456800
 411 +401234500:6:401234000
 412 -401234500:6:-401235000
 413 $round_mode = "odd"
 414 +50123456789:5:50123000000
 415 -50123456789:5:-50123000000
 416 +50123456789.123:5:50123000000
 417 -50123456789.123:5:-50123000000
 418 +50123456789:9:50123456800
 419 -50123456789:9:-50123456800
 420 +501234500:6:501235000
 421 -501234500:6:-501235000
 422 $round_mode = "even"
 423 +60123456789:5:60123000000
 424 -60123456789:5:-60123000000
 425 +60123456789:9:60123456800
 426 -60123456789:9:-60123456800
 427 +601234500:6:601234000
 428 -601234500:6:-601234000
 429 +60123456789.0123:5:60123000000
 430 -60123456789.0123:5:-60123000000
 431 &ffround
 432 $round_mode = "trunc"
 433 +inf:5:inf
 434 -inf:5:-inf
 435 0:5:0
 436 NaNffround:5:NaN
 437 +1.23:-1:1.2
 438 +1.234:-1:1.2
 439 +1.2345:-1:1.2
 440 +1.23:-2:1.23
 441 +1.234:-2:1.23
 442 +1.2345:-2:1.23
 443 +1.23:-3:1.230
 444 +1.234:-3:1.234
 445 +1.2345:-3:1.234
 446 -1.23:-1:-1.2
 447 +1.27:-1:1.2
 448 -1.27:-1:-1.2
 449 +1.25:-1:1.2
 450 -1.25:-1:-1.2
 451 +1.35:-1:1.3
 452 -1.35:-1:-1.3
 453 -0.0061234567890:-1:0.0
 454 -0.0061:-1:0.0
 455 -0.00612:-1:0.0
 456 -0.00612:-2:0.00
 457 -0.006:-1:0.0
 458 -0.006:-2:0.00
 459 -0.0006:-2:0.00
 460 -0.0006:-3:0.000
 461 -0.0065:-3:/-0\.006|-6e-03
 462 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 463 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 464 0.05:0:0
 465 0.5:0:0
 466 0.51:0:0
 467 0.41:0:0
 468 $round_mode = "zero"
 469 +2.23:-1:/2.2(?:0{5}\d+)?
 470 -2.23:-1:/-2.2(?:0{5}\d+)?
 471 +2.27:-1:/2.(?:3|29{5}\d+)
 472 -2.27:-1:/-2.(?:3|29{5}\d+)
 473 +2.25:-1:/2.2(?:0{5}\d+)?
 474 -2.25:-1:/-2.2(?:0{5}\d+)?
 475 +2.35:-1:/2.(?:3|29{5}\d+)
 476 -2.35:-1:/-2.(?:3|29{5}\d+)
 477 -0.0065:-1:0.0
 478 -0.0065:-2:/-0\.01|-1e-02
 479 -0.0065:-3:/-0\.006|-6e-03
 480 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 481 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 482 0.05:0:0
 483 0.5:0:0
 484 0.51:0:1
 485 0.41:0:0
 486 $round_mode = "+inf"
 487 +3.23:-1:/3.2(?:0{5}\d+)?
 488 -3.23:-1:/-3.2(?:0{5}\d+)?
 489 +3.27:-1:/3.(?:3|29{5}\d+)
 490 -3.27:-1:/-3.(?:3|29{5}\d+)
 491 +3.25:-1:/3.(?:3|29{5}\d+)
 492 -3.25:-1:/-3.2(?:0{5}\d+)?
 493 +3.35:-1:/3.(?:4|39{5}\d+)
 494 -3.35:-1:/-3.(?:3|29{5}\d+)
 495 -0.0065:-1:0.0
 496 -0.0065:-2:/-0\.01|-1e-02
 497 -0.0065:-3:/-0\.006|-6e-03
 498 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 499 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 500 0.05:0:0
 501 0.5:0:1
 502 0.51:0:1
 503 0.41:0:0
 504 $round_mode = "-inf"
 505 +4.23:-1:/4.2(?:0{5}\d+)?
 506 -4.23:-1:/-4.2(?:0{5}\d+)?
 507 +4.27:-1:/4.(?:3|29{5}\d+)
 508 -4.27:-1:/-4.(?:3|29{5}\d+)
 509 +4.25:-1:/4.2(?:0{5}\d+)?
 510 -4.25:-1:/-4.(?:3|29{5}\d+)
 511 +4.35:-1:/4.(?:3|29{5}\d+)
 512 -4.35:-1:/-4.(?:4|39{5}\d+)
 513 -0.0065:-1:0.0
 514 -0.0065:-2:/-0\.01|-1e-02
 515 -0.0065:-3:/-0\.007|-7e-03
 516 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 517 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 518 0.05:0:0
 519 0.5:0:0
 520 0.51:0:1
 521 0.41:0:0
 522 $round_mode = "odd"
 523 +5.23:-1:/5.2(?:0{5}\d+)?
 524 -5.23:-1:/-5.2(?:0{5}\d+)?
 525 +5.27:-1:/5.(?:3|29{5}\d+)
 526 -5.27:-1:/-5.(?:3|29{5}\d+)
 527 +5.25:-1:/5.(?:3|29{5}\d+)
 528 -5.25:-1:/-5.(?:3|29{5}\d+)
 529 +5.35:-1:/5.(?:3|29{5}\d+)
 530 -5.35:-1:/-5.(?:3|29{5}\d+)
 531 -0.0065:-1:0.0
 532 -0.0065:-2:/-0\.01|-1e-02
 533 -0.0065:-3:/-0\.007|-7e-03
 534 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 535 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 536 0.05:0:0
 537 0.5:0:1
 538 0.51:0:1
 539 0.41:0:0
 540 $round_mode = "even"
 541 +6.23:-1:/6.2(?:0{5}\d+)?
 542 -6.23:-1:/-6.2(?:0{5}\d+)?
 543 +6.27:-1:/6.(?:3|29{5}\d+)
 544 -6.27:-1:/-6.(?:3|29{5}\d+)
 545 +6.25:-1:/6.(?:2(?:0{5}\d+)?|29{5}\d+)
 546 -6.25:-1:/-6.(?:2(?:0{5}\d+)?|29{5}\d+)
 547 +6.35:-1:/6.(?:4|39{5}\d+|29{8}\d+)
 548 -6.35:-1:/-6.(?:4|39{5}\d+|29{8}\d+)
 549 -0.0065:-1:0.0
 550 -0.0065:-2:/-0\.01|-1e-02
 551 -0.0065:-3:/-0\.006|-7e-03
 552 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 553 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
 554 0.05:0:0
 555 0.5:0:0
 556 0.51:0:1
 557 0.41:0:0
 558 0.01234567:-3:0.012
 559 0.01234567:-4:0.0123
 560 0.01234567:-5:0.01235
 561 0.01234567:-6:0.012346
 562 0.01234567:-7:0.0123457
 563 0.01234567:-8:0.01234567
 564 0.01234567:-9:0.012345670
 565 0.01234567:-12:0.012345670000
 566 &fcmp
 567 fcmpNaN:fcmpNaN:
 568 fcmpNaN:+0:
 569 +0:fcmpNaN:
 570 +0:+0:0
 571 -1:+0:-1
 572 +0:-1:1
 573 +1:+0:1
 574 +0:+1:-1
 575 -1:+1:-1
 576 +1:-1:1
 577 -1:-1:0
 578 +1:+1:0
 579 -1.1:0:-1
 580 +0:-1.1:1
 581 +1.1:+0:1
 582 +0:+1.1:-1
 583 +123:+123:0
 584 +123:+12:1
 585 +12:+123:-1
 586 -123:-123:0
 587 -123:-12:-1
 588 -12:-123:1
 589 +123:+124:-1
 590 +124:+123:1
 591 -123:-124:1
 592 -124:-123:-1
 593 0:0.01:-1
 594 0:0.0001:-1
 595 0:-0.0001:1
 596 0:-0.1:1
 597 0.1:0:1
 598 0.00001:0:1
 599 -0.0001:0:-1
 600 -0.1:0:-1
 601 0:0.0001234:-1
 602 0:-0.0001234:1
 603 0.0001234:0:1
 604 -0.0001234:0:-1
 605 0.0001:0.0005:-1
 606 0.0005:0.0001:1
 607 0.005:0.0001:1
 608 0.001:0.0005:1
 609 0.000001:0.0005:-1
 610 0.00000123:0.0005:-1
 611 0.00512:0.0001:1
 612 0.005:0.000112:1
 613 0.00123:0.0005:1
 614 1.5:2:-1
 615 2:1.5:1
 616 1.54321:234:-1
 617 234:1.54321:1
 618 # infinity
 619 -inf:5432112345:-1
 620 +inf:5432112345:1
 621 -inf:-5432112345:-1
 622 +inf:-5432112345:1
 623 -inf:54321.12345:-1
 624 +inf:54321.12345:1
 625 -inf:-54321.12345:-1
 626 +inf:-54321.12345:1
 627 +inf:+inf:0
 628 -inf:-inf:0
 629 +inf:-inf:1
 630 -inf:+inf:-1
 631 # return undef
 632 +inf:NaN:
 633 NaN:inf:
 634 -inf:NaN:
 635 NaN:-inf:
 636 &facmp
 637 fcmpNaN:fcmpNaN:
 638 fcmpNaN:+0:
 639 +0:fcmpNaN:
 640 +0:+0:0
 641 -1:+0:1
 642 +0:-1:-1
 643 +1:+0:1
 644 +0:+1:-1
 645 -1:+1:0
 646 +1:-1:0
 647 -1:-1:0
 648 +1:+1:0
 649 -1.1:0:1
 650 +0:-1.1:-1
 651 +1.1:+0:1
 652 +0:+1.1:-1
 653 +123:+123:0
 654 +123:+12:1
 655 +12:+123:-1
 656 -123:-123:0
 657 -123:-12:1
 658 -12:-123:-1
 659 +123:+124:-1
 660 +124:+123:1
 661 -123:-124:-1
 662 -124:-123:1
 663 0:0.01:-1
 664 0:0.0001:-1
 665 0:-0.0001:-1
 666 0:-0.1:-1
 667 0.1:0:1
 668 0.00001:0:1
 669 -0.0001:0:1
 670 -0.1:0:1
 671 0:0.0001234:-1
 672 0:-0.0001234:-1
 673 0.0001234:0:1
 674 -0.0001234:0:1
 675 0.0001:0.0005:-1
 676 0.0005:0.0001:1
 677 0.005:0.0001:1
 678 0.001:0.0005:1
 679 0.000001:0.0005:-1
 680 0.00000123:0.0005:-1
 681 0.00512:0.0001:1
 682 0.005:0.000112:1
 683 0.00123:0.0005:1
 684 1.5:2:-1
 685 2:1.5:1
 686 1.54321:234:-1
 687 234:1.54321:1
 688 # infinity
 689 -inf:5432112345:1
 690 +inf:5432112345:1
 691 -inf:-5432112345:1
 692 +inf:-5432112345:1
 693 -inf:54321.12345:1
 694 +inf:54321.12345:1
 695 -inf:-54321.12345:1
 696 +inf:-54321.12345:1
 697 +inf:+inf:0
 698 -inf:-inf:0
 699 +inf:-inf:0
 700 -inf:+inf:0
 701 5:inf:-1
 702 -1:inf:-1
 703 5:-inf:-1
 704 -1:-inf:-1
 705 # return undef
 706 +inf:facmpNaN:
 707 facmpNaN:inf:
 708 -inf:facmpNaN:
 709 facmpNaN:-inf:
 710 &fdec
 711 fdecNaN:NaN
 712 +inf:inf
 713 -inf:-inf
 714 +0:-1
 715 +1:0
 716 -1:-2
 717 1.23:0.23
 718 -1.23:-2.23
 719 100:99
 720 101:100
 721 -100:-101
 722 -99:-100
 723 -98:-99
 724 99:98
 725 &finc
 726 fincNaN:NaN
 727 +inf:inf
 728 -inf:-inf
 729 +0:1
 730 +1:2
 731 -1:0
 732 1.23:2.23
 733 -1.23:-0.23
 734 100:101
 735 -100:-99
 736 -99:-98
 737 -101:-100
 738 99:100
 739 &fadd
 740 abc:abc:NaN
 741 abc:+0:NaN
 742 +0:abc:NaN
 743 +inf:-inf:0
 744 -inf:+inf:0
 745 +inf:+inf:inf
 746 -inf:-inf:-inf
 747 baddNaN:+inf:NaN
 748 baddNaN:+inf:NaN
 749 +inf:baddNaN:NaN
 750 -inf:baddNaN:NaN
 751 +0:+0:0
 752 +1:+0:1
 753 +0:+1:1
 754 +1:+1:2
 755 -1:+0:-1
 756 +0:-1:-1
 757 -1:-1:-2
 758 -1:+1:0
 759 +1:-1:0
 760 +9:+1:10
 761 +99:+1:100
 762 +999:+1:1000
 763 +9999:+1:10000
 764 +99999:+1:100000
 765 +999999:+1:1000000
 766 +9999999:+1:10000000
 767 +99999999:+1:100000000
 768 +999999999:+1:1000000000
 769 +9999999999:+1:10000000000
 770 +99999999999:+1:100000000000
 771 +10:-1:9
 772 +100:-1:99
 773 +1000:-1:999
 774 +10000:-1:9999
 775 +100000:-1:99999
 776 +1000000:-1:999999
 777 +10000000:-1:9999999
 778 +100000000:-1:99999999
 779 +1000000000:-1:999999999
 780 +10000000000:-1:9999999999
 781 +123456789:+987654321:1111111110
 782 -123456789:+987654321:864197532
 783 -123456789:-987654321:-1111111110
 784 +123456789:-987654321:-864197532
 785 0.001234:0.0001234:0.0013574
 786 &fsub
 787 abc:abc:NaN
 788 abc:+0:NaN
 789 +0:abc:NaN
 790 +inf:-inf:inf
 791 -inf:+inf:-inf
 792 +inf:+inf:0
 793 -inf:-inf:0
 794 baddNaN:+inf:NaN
 795 baddNaN:+inf:NaN
 796 +inf:baddNaN:NaN
 797 -inf:baddNaN:NaN
 798 +0:+0:0
 799 +1:+0:1
 800 +0:+1:-1
 801 +1:+1:0
 802 -1:+0:-1
 803 +0:-1:1
 804 -1:-1:0
 805 -1:+1:-2
 806 +1:-1:2
 807 +9:+1:8
 808 +99:+1:98
 809 +999:+1:998
 810 +9999:+1:9998
 811 +99999:+1:99998
 812 +999999:+1:999998
 813 +9999999:+1:9999998
 814 +99999999:+1:99999998
 815 +999999999:+1:999999998
 816 +9999999999:+1:9999999998
 817 +99999999999:+1:99999999998
 818 +10:-1:11
 819 +100:-1:101
 820 +1000:-1:1001
 821 +10000:-1:10001
 822 +100000:-1:100001
 823 +1000000:-1:1000001
 824 +10000000:-1:10000001
 825 +100000000:-1:100000001
 826 +1000000000:-1:1000000001
 827 +10000000000:-1:10000000001
 828 +123456789:+987654321:-864197532
 829 -123456789:+987654321:-1111111110
 830 -123456789:-987654321:864197532
 831 +123456789:-987654321:1111111110
 832 &fmul
 833 abc:abc:NaN
 834 abc:+0:NaN
 835 +0:abc:NaN
 836 +inf:NaNmul:NaN
 837 +inf:NaNmul:NaN
 838 NaNmul:+inf:NaN
 839 NaNmul:-inf:NaN
 840 +inf:+inf:inf
 841 +inf:-inf:-inf
 842 +inf:-inf:-inf
 843 +inf:+inf:inf
 844 +inf:123.34:inf
 845 +inf:-123.34:-inf
 846 -inf:123.34:-inf
 847 -inf:-123.34:inf
 848 123.34:+inf:inf
 849 -123.34:+inf:-inf
 850 123.34:-inf:-inf
 851 -123.34:-inf:inf
 852 +0:+0:0
 853 +0:+1:0
 854 +1:+0:0
 855 +0:-1:0
 856 -1:+0:0
 857 +123456789123456789:+0:0
 858 +0:+123456789123456789:0
 859 -1:-1:1
 860 -1:+1:-1
 861 +1:-1:-1
 862 +1:+1:1
 863 +2:+3:6
 864 -2:+3:-6
 865 +2:-3:-6
 866 -2:-3:6
 867 +111:+111:12321
 868 +10101:+10101:102030201
 869 +1001001:+1001001:1002003002001
 870 +100010001:+100010001:10002000300020001
 871 +10000100001:+10000100001:100002000030000200001
 872 +11111111111:+9:99999999999
 873 +22222222222:+9:199999999998
 874 +33333333333:+9:299999999997
 875 +44444444444:+9:399999999996
 876 +55555555555:+9:499999999995
 877 +66666666666:+9:599999999994
 878 +77777777777:+9:699999999993
 879 +88888888888:+9:799999999992
 880 +99999999999:+9:899999999991
 881 6:120:720
 882 10:10000:100000
 883 &fdiv
 884 $div_scale = 40; $round_mode = 'even'
 885 abc:abc:NaN
 886 abc:+1:abc:NaN
 887 +1:abc:NaN
 888 -1:abc:NaN
 889 0:abc:NaN
 890 +0:+0:NaN
 891 +0:+1:0
 892 +1:+0:inf
 893 +3214:+0:inf
 894 +0:-1:0
 895 -1:+0:-inf
 896 -3214:+0:-inf
 897 +1:+1:1
 898 -1:-1:1
 899 +1:-1:-1
 900 -1:+1:-1
 901 +1:+2:0.5
 902 +2:+1:2
 903 123:+inf:0
 904 123:-inf:0
 905 +10:+5:2
 906 +100:+4:25
 907 +1000:+8:125
 908 +10000:+16:625
 909 +10000:-16:-625
 910 +999999999999:+9:111111111111
 911 +999999999999:+99:10101010101
 912 +999999999999:+999:1001001001
 913 +999999999999:+9999:100010001
 914 +999999999999999:+99999:10000100001
 915 +1000000000:+9:111111111.1111111111111111111111111111111
 916 +2000000000:+9:222222222.2222222222222222222222222222222
 917 +3000000000:+9:333333333.3333333333333333333333333333333
 918 +4000000000:+9:444444444.4444444444444444444444444444444
 919 +5000000000:+9:555555555.5555555555555555555555555555556
 920 +6000000000:+9:666666666.6666666666666666666666666666667
 921 +7000000000:+9:777777777.7777777777777777777777777777778
 922 +8000000000:+9:888888888.8888888888888888888888888888889
 923 +9000000000:+9:1000000000
 924 +35500000:+113:314159.2920353982300884955752212389380531
 925 +71000000:+226:314159.2920353982300884955752212389380531
 926 +106500000:+339:314159.2920353982300884955752212389380531
 927 +1000000000:+3:333333333.3333333333333333333333333333333
 928 2:25.024996000799840031993601279744051189762:0.07992009269196593320152084692285869265447
 929 123456:1:123456
 930 $div_scale = 20
 931 +1000000000:+9:111111111.11111111111
 932 +2000000000:+9:222222222.22222222222
 933 +3000000000:+9:333333333.33333333333
 934 +4000000000:+9:444444444.44444444444
 935 +5000000000:+9:555555555.55555555556
 936 +6000000000:+9:666666666.66666666667
 937 +7000000000:+9:777777777.77777777778
 938 +8000000000:+9:888888888.88888888889
 939 +9000000000:+9:1000000000
 940 1:10:0.1
 941 1:100:0.01
 942 1:1000:0.001
 943 1:10000:0.0001
 944 1:504:0.001984126984126984127
 945 2:1.987654321:1.0062111801179738436
 946 123456789.123456789123456789123456789:1:123456789.12345678912
 947 # the next two cases are the "old" behaviour, but are now (>v0.01) different
 948 #+35500000:+113:314159.292035398230088
 949 #+71000000:+226:314159.292035398230088
 950 +35500000:+113:314159.29203539823009
 951 +71000000:+226:314159.29203539823009
 952 +106500000:+339:314159.29203539823009
 953 +1000000000:+3:333333333.33333333333
 954 $div_scale = 1
 955 # round to accuracy 1 after bdiv
 956 +124:+3:40
 957 123456789.1234:1:100000000
 958 # reset scale for further tests
 959 $div_scale = 40
 960 &fmod
 961 +9:4:1
 962 +9:5:4
 963 +9000:56:40
 964 +56:9000:56
 965 # inf handling, see table in doc
 966 0:inf:0
 967 0:-inf:0
 968 5:inf:5
 969 5:-inf:5
 970 -5:inf:-5
 971 -5:-inf:-5
 972 inf:5:0
 973 -inf:5:0
 974 inf:-5:0
 975 -inf:-5:0
 976 5:5:0
 977 -5:-5:0
 978 inf:inf:0
 979 -inf:-inf:0
 980 -inf:inf:0
 981 inf:-inf:0
 982 8:0:8
 983 inf:0:inf
 984 # exceptions to reminder rule
 985 -inf:0:-inf
 986 -8:0:-8
 987 0:0:NaN
 988 abc:abc:NaN
 989 abc:1:abc:NaN
 990 1:abc:NaN
 991 0:0:NaN
 992 0:1:0
 993 1:0:1
 994 0:-1:0
 995 -1:0:-1
 996 1:1:0
 997 -1:-1:0
 998 1:-1:0
 999 -1:1:0
1000 1:2:1
1001 2:1:0
1002 1000000000:9:1
1003 2000000000:9:2
1004 3000000000:9:3
1005 4000000000:9:4
1006 5000000000:9:5
1007 6000000000:9:6
1008 7000000000:9:7
1009 8000000000:9:8
1010 9000000000:9:0
1011 35500000:113:33
1012 71000000:226:66
1013 106500000:339:99
1014 1000000000:3:1
1015 10:5:0
1016 100:4:0
1017 1000:8:0
1018 10000:16:0
1019 999999999999:9:0
1020 999999999999:99:0
1021 999999999999:999:0
1022 999999999999:9999:0
1023 999999999999999:99999:0
1024 -9:+5:1
1025 +9:-5:-1
1026 -9:-5:-4
1027 -5:3:1
1028 -2:3:1
1029 4:3:1
1030 1:3:1
1031 -5:-3:-2
1032 -2:-3:-2
1033 4:-3:-2
1034 1:-3:-2
1035 4095:4095:0
1036 100041000510123:3:0
1037 152403346:12345:4321
1038 87654321:87654321:0
1039 # now some floating point tests
1040 123:2.5:0.5
1041 1230:2.5:0
1042 123.4:2.5:0.9
1043 123e1:25:5
1044 &fsqrt
1045 +0:0
1046 -1:NaN
1047 -2:NaN
1048 -16:NaN
1049 -123.45:NaN
1050 nanfsqrt:NaN
1051 +inf:inf
1052 -inf:NaN
1053 1:1
1054 2:1.41421356237309504880168872420969807857
1055 4:2
1056 9:3
1057 16:4
1058 100:10
1059 123.456:11.11107555549866648462149404118219234119
1060 15241.38393:123.4559999756998444766131352122991626468
1061 1.44:1.2
1062 # sqrt(1.44) = 1.2, sqrt(e10) = e5 => 12e4
1063 1.44E10:120000
1064 2e10:141421.356237309504880168872420969807857
1065 # proved to be an endless loop under 7-9
1066 12:3.464101615137754587054892683011744733886
1067 &is_nan
1068 123:0
1069 abc:1
1070 NaN:1
1071 -123:0
1072 &is_inf
1073 +inf::1
1074 -inf::1
1075 abc::0
1076 1::0
1077 NaN::0
1078 -1::0
1079 +inf:-:0
1080 +inf:+:1
1081 -inf:-:1
1082 -inf:+:0
1083 # it must be exactly /^[+-]inf$/
1084 +infinity::0
1085 -infinity::0
1086 &is_odd
1087 abc:0
1088 0:0
1089 -1:1
1090 -3:1
1091 1:1
1092 3:1
1093 1000001:1
1094 1000002:0
1095 +inf:0
1096 -inf:0
1097 123.45:0
1098 -123.45:0
1099 2:0
1100 &is_even
1101 abc:0
1102 0:1
1103 -1:0
1104 -3:0
1105 1:0
1106 3:0
1107 1000001:0
1108 1000002:1
1109 2:1
1110 +inf:0
1111 -inf:0
1112 123.456:0
1113 -123.456:0
1114 &is_positive
1115 0:1
1116 1:1
1117 -1:0
1118 -123:0
1119 NaN:0
1120 -inf:0
1121 +inf:1
1122 &is_negative
1123 0:0
1124 1:0
1125 -1:1
1126 -123:1
1127 NaN:0
1128 -inf:1
1129 +inf:0
1130 &parts
1131 0:0 1
1132 1:1 0
1133 123:123 0
1134 -123:-123 0
1135 -1200:-12 2
1136 NaNparts:NaN NaN
1137 +inf:inf inf
1138 -inf:-inf inf
1139 &exponent
1140 0:1
1141 1:0
1142 123:0
1143 -123:0
1144 -1200:2
1145 +inf:inf
1146 -inf:inf
1147 NaNexponent:NaN
1148 &mantissa
1149 0:0
1150 1:1
1151 123:123
1152 -123:-123
1153 -1200:-12
1154 +inf:inf
1155 -inf:-inf
1156 NaNmantissa:NaN
1157 &length
1158 123:3
1159 -123:3
1160 0:1
1161 1:1
1162 12345678901234567890:20
1163 &is_zero
1164 NaNzero:0
1165 +inf:0
1166 -inf:0
1167 0:1
1168 -1:0
1169 1:0
1170 &is_one
1171 NaNone:0
1172 +inf:0
1173 -inf:0
1174 0:0
1175 2:0
1176 1:1
1177 -1:0
1178 -2:0
1179 &ffloor
1180 0:0
1181 abc:NaN
1182 +inf:inf
1183 -inf:-inf
1184 1:1
1185 -51:-51
1186 -51.2:-52
1187 12.2:12
1188 &fceil
1189 0:0
1190 abc:NaN
1191 +inf:inf
1192 -inf:-inf
1193 1:1
1194 -51:-51
1195 -51.2:-51
1196 12.2:13