This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Fix RT #62052: Math::BigFloat -> bdiv() in list context
[perl5.git] / dist / Math-BigInt / t / bigfltpm.inc
1 #include this file into another test for subclass testing...
2
3 is ($class->config()->{lib},$CL);
4
5 use strict;
6
7 my $z;
8
9 while (<DATA>)
10   {
11   $_ =~ s/[\n\r]//g;    # remove newlines
12   $_ =~ s/#.*$//;       # remove comments
13   $_ =~ s/\s+$//;       # trailing spaces
14   next if /^$/;         # skip empty lines & comments
15   if (s/^&//)
16     {
17     $f = $_;
18     }
19   elsif (/^\$/)
20     {
21     $setup = $_; $setup =~ s/\$/\$${class}::/g; # round_mode, div_scale
22     #print "\$setup== $setup\n";
23     }
24   else
25     {
26     if (m|^(.*?):(/.+)$|)
27       {
28       $ans = $2;
29       @args = split(/:/,$1,99);
30       }
31     else
32       {
33       @args = split(/:/,$_,99); $ans = pop(@args);
34       }
35     $try = "\$x = $class->new(\"$args[0]\");";
36     if ($f eq "fnorm")
37       {
38         $try .= "\$x;";
39       } elsif ($f eq "finf") {
40         $try .= "\$x->finf('$args[1]');";
41       } elsif ($f eq "is_inf") {
42         $try .= "\$x->is_inf('$args[1]');"; 
43       } elsif ($f eq "fone") {
44         $try .= "\$x->bone('$args[1]');";
45       } elsif ($f eq "fstr") {
46         $try .= "\$x->accuracy($args[1]); \$x->precision($args[2]);";
47         $try .= '$x->fstr();';
48       } elsif ($f eq "parts") {
49         # ->bstr() to see if an object is returned
50         $try .= '($a,$b) = $x->parts(); $a = $a->bstr(); $b = $b->bstr();';
51         $try .= '"$a $b";';
52       } elsif ($f eq "exponent") {
53         # ->bstr() to see if an object is returned
54         $try .= '$x->exponent()->bstr();';
55       } elsif ($f eq "mantissa") {
56         # ->bstr() to see if an object is returned
57         $try .= '$x->mantissa()->bstr();';
58       } elsif ($f =~ /^(numify|length|as_number|as_hex|as_bin)$/) {
59         $try .= "\$x->$f();";
60       # some unary ops (test the fxxx form, since that is done by AUTOLOAD)
61       } elsif ($f =~ /^f(nan|sstr|neg|floor|ceil|int|abs)$/) {
62         $try .= "\$x->f$1();";
63       # some is_xxx test function       
64       } elsif ($f =~ /^is_(zero|one|negative|positive|odd|even|nan|int)$/) {
65         $try .= "\$x->$f();";
66       } elsif ($f eq "bpi") {
67         $try .= '$class->bpi($x);';
68       } elsif ($f eq "finc") {
69         $try .= '++$x;';
70       } elsif ($f eq "fdec") {
71         $try .= '--$x;';
72       }elsif ($f eq "fround") {
73         $try .= "$setup; \$x->fround($args[1]);";
74       } elsif ($f eq "ffround") {
75         $try .= "$setup; \$x->ffround($args[1]);";
76       } elsif ($f eq "fsqrt") {
77         $try .= "$setup; \$x->fsqrt();";
78       } elsif ($f eq "ffac") {
79         $try .= "$setup; \$x->ffac();";
80       } elsif ($f eq "flog") {
81         if (defined $args[1] && $args[1] ne '')
82           {
83           $try .= "\$y = $class->new($args[1]);";
84           $try .= "$setup; \$x->flog(\$y);";
85           }
86         else
87           {
88           $try .= "$setup; \$x->flog();";
89           }
90       }
91     else
92       {
93       $try .= "\$y = $class->new(\"$args[1]\");";
94       
95       if ($f eq "bgcd")
96         {
97         if (defined $args[2])
98           {
99           $try .= " \$z = $class->new(\"$args[2]\"); ";
100           }
101         $try .= "$class\::bgcd(\$x, \$y";
102         $try .= ", \$z" if (defined $args[2]);
103         $try .= " );";
104         }
105       elsif ($f eq "blcm")
106         {
107         if (defined $args[2])
108           {
109           $try .= " \$z = $class->new(\"$args[2]\"); ";
110           }
111         $try .= "$class\::blcm(\$x, \$y";
112         $try .= ", \$z" if (defined $args[2]);
113         $try .= " );";
114       } elsif ($f eq "fcmp") {
115         $try .= '$x->fcmp($y);';
116       } elsif ($f eq "facmp") {
117         $try .= '$x->facmp($y);';
118       } elsif ($f eq "fpow") {
119         $try .= '$x ** $y;';
120       } elsif ($f eq "bnok") {
121         $try .= '$x->bnok($y);';
122       } elsif ($f eq "bcos") {
123         $try .= '$x->bcos($y);';
124       } elsif ($f eq "bsin") {
125         $try .= '$x->bsin($y);';
126       } elsif ($f eq "batan") {
127         $try .= '$x->batan($y);';
128       } elsif ($f eq "froot") {
129         $try .= "$setup; \$x->froot(\$y);";
130       } elsif ($f eq "fadd") {
131         $try .= '$x + $y;';
132       } elsif ($f eq "fsub") {
133         $try .= '$x - $y;';
134       } elsif ($f eq "fmul") {
135         $try .= '$x * $y;';
136       } elsif ($f eq "fdiv") {
137         $try .= "$setup; \$x / \$y;";
138       } elsif ($f eq "fdiv-list") {
139         $try .= "$setup; join(',',\$x->fdiv(\$y));";
140       } elsif ($f eq "frsft") {
141         $try .= '$x >> $y;';
142       } elsif ($f eq "flsft") {
143         $try .= '$x << $y;';
144       } elsif ($f eq "fmod") {
145         $try .= '$x % $y;';
146        } else {
147        # Functions with three arguments
148        $try .= "\$z = $class->new(\"$args[2]\");";
149
150        if( $f eq "bmodpow") {
151           $try .= '$x->bmodpow($y,$z);';
152          } elsif ($f eq "bmuladd"){
153           $try .= '$x->bmuladd($y,$z);';
154          } elsif ($f eq "batan2"){
155           $try .= '$x->batan2($y,$z);';
156          } else { warn "Unknown op '$f'"; }
157        }
158     }
159     # print "# Trying: '$try'\n";
160     $ans1 = eval $try;
161     print "# Error: $@\n" if $@;
162     if ($ans =~ m|^/(.*)$|)
163       {
164       my $pat = $1;
165       if ($ans1 =~ /$pat/)
166         {
167         is (1,1);
168         }
169       else
170         {
171         print "# '$try' expected: /$pat/ got: '$ans1'\n" if !is (1,0);
172         }
173       }
174     else
175       {
176       if ($ans eq "")
177         {
178           is ($ans1, undef);
179         }
180       else
181         {
182         print "# Tried: '$try'\n" if !is ($ans1, $ans);
183         if (ref($ans1) eq "$class")
184           {
185           # float numbers are normalized (for now), so mantissa shouldn't have
186           # trailing zeros
187           #print $ans1->_trailing_zeros(),"\n";
188           print "# Has trailing zeros after '$try'\n"
189            if !is ($CL->_zeros( $ans1->{_m}), 0);
190           }
191         }
192       } # end pattern or string
193     }
194   } # end while
195
196 # check whether $class->new( Math::BigInt->new()) destroys it 
197 # ($y == 12 in this case)
198 $x = Math::BigInt->new(1200); $y = $class->new($x);
199 is ($y,1200); is ($x,1200);
200
201 ###############################################################################
202 # Really huge, big, ultra-mega-biggy-monster exponents
203 # Technically, the exponents should not be limited (they are BigInts), but
204 # practically there are a few places were they are limited to a Perl scalar.
205 # This is sometimes for speed, sometimes because otherwise the number wouldn't
206 # fit into your memory (just think of 1e123456789012345678901234567890 + 1!)
207 # anyway. We don't test everything here, but let's make sure it just basically
208 # works.
209
210 my $monster = '1e1234567890123456789012345678901234567890';
211
212 # new and exponent
213 is ($class->new($monster)->bsstr(), 
214                 '1e+1234567890123456789012345678901234567890');
215 is ($class->new($monster)->exponent(), 
216                 '1234567890123456789012345678901234567890');
217 # cmp
218 is ($class->new($monster) > 0,1);
219
220 # sub/mul 
221 is ($class->new($monster)->bsub( $monster),0);
222 is ($class->new($monster)->bmul(2)->bsstr(),
223                 '2e+1234567890123456789012345678901234567890');
224
225 # mantissa
226 $monster = '1234567890123456789012345678901234567890e2';
227 is ($class->new($monster)->mantissa(), 
228                 '123456789012345678901234567890123456789');
229
230 ###############################################################################
231 # zero,inf,one,nan
232
233 $x = $class->new(2); $x->fzero(); is ($x->{_a}, undef); is ($x->{_p}, undef);
234 $x = $class->new(2); $x->finf();  is ($x->{_a}, undef); is ($x->{_p}, undef);
235 $x = $class->new(2); $x->fone();  is ($x->{_a}, undef); is ($x->{_p}, undef);
236 $x = $class->new(2); $x->fnan();  is ($x->{_a}, undef); is ($x->{_p}, undef);
237
238 ###############################################################################
239 # bone/binf etc as plain calls (Lite failed them)
240
241 is ($class->fzero(),0);
242 is ($class->fone(),1);
243 is ($class->fone('+'),1);
244 is ($class->fone('-'),-1);
245 is ($class->fnan(),'NaN');
246 is ($class->finf(),'inf');
247 is ($class->finf('+'),'inf');
248 is ($class->finf('-'),'-inf');
249 is ($class->finf('-inf'),'-inf');
250         
251 $class->accuracy(undef); $class->precision(undef);      # reset
252
253 ###############################################################################
254 # bug in bsstr()/numify() showed up in after-rounding in bdiv()
255
256 $x = $class->new('0.008'); $y = $class->new(2);
257 $x->bdiv(3,$y);
258 is ($x,'0.0027');
259
260 ###############################################################################
261 # Verify that numify() returns a normalized value, and underflows and
262 # overflows when given "extreme" values.
263
264 like($class->new("12345e67")->numify(), qr/^1\.2345e\+?0*71$/);
265 like($class->new("1e-9999")->numify(), qr/^\+?0$/);              # underflow
266 unlike($class->new("1e9999")->numify(), qr/^1(\.0*)?e\+?9+$/);   # overflow
267
268 ###############################################################################
269 # fsqrt() with set global A/P or A/P enabled on $x, also a test whether fsqrt()
270 # correctly modifies $x
271
272
273 $x = $class->new(12); $class->precision(-2); $x->fsqrt(); is ($x,'3.46');
274
275 $class->precision(undef);
276 $x = $class->new(12); $class->precision(0); $x->fsqrt(); is ($x,'3');
277
278 $class->precision(-3); $x = $class->new(12); $x->fsqrt(); is ($x,'3.464');
279
280 {
281   no strict 'refs';
282   # A and P set => NaN
283   ${${class}.'::accuracy'} = 4; $x = $class->new(12);
284   $x->fsqrt(3); is ($x,'NaN');
285   # supplied arg overrides set global
286   $class->precision(undef); $x = $class->new(12); $x->fsqrt(3); is ($x,'3.46');
287   $class->accuracy(undef); $class->precision(undef); # reset for further tests
288 }
289
290 #############################################################################
291 # can we call objectify (broken until v1.52)
292
293 {
294   no strict;
295   $try = 
296     '@args' . " = $class" . "::objectify(2,$class,4,5);".'join(" ",@args);';
297   $ans = eval $try;
298   is ($ans,"$class 4 5");
299 }
300
301 #############################################################################
302 # is_one('-') (broken until v1.64)
303
304 is ($class->new(-1)->is_one(),0);
305 is ($class->new(-1)->is_one('-'),1);
306
307 #############################################################################
308 # bug 1/0.5 leaving 2e-0 instead of 2e0
309
310 is ($class->new(1)->fdiv('0.5')->bsstr(),'2e+0');
311
312 ###############################################################################
313 # [perl #30609] bug with $x -= $x not being 0, but 2*$x
314
315 $x = $class->new(3);  $x -= $x; is ($x, 0);
316 $x = $class->new(-3); $x -= $x; is ($x, 0);
317 $x = $class->new(3);  $x += $x; is ($x, 6);
318 $x = $class->new(-3); $x += $x; is ($x, -6);
319
320 $x = $class->new('NaN'); $x -= $x; is ($x->is_nan(), 1);
321 $x = $class->new('inf'); $x -= $x; is ($x->is_nan(), 1);
322 $x = $class->new('-inf'); $x -= $x; is ($x->is_nan(), 1);
323
324 $x = $class->new('NaN'); $x += $x; is ($x->is_nan(), 1);
325 $x = $class->new('inf'); $x += $x; is ($x->is_inf(), 1);
326 $x = $class->new('-inf'); $x += $x; is ($x->is_inf('-'), 1);
327
328 $x = $class->new('3.14');  $x -= $x; is ($x, 0);
329 $x = $class->new('-3.14'); $x -= $x; is ($x, 0);
330 $x = $class->new('3.14');  $x += $x; is ($x, '6.28');
331 $x = $class->new('-3.14'); $x += $x; is ($x, '-6.28');
332
333 $x = $class->new('3.14');  $x *= $x; is ($x, '9.8596');
334 $x = $class->new('-3.14'); $x *= $x; is ($x, '9.8596');
335 $x = $class->new('3.14');  $x /= $x; is ($x, '1');
336 $x = $class->new('-3.14'); $x /= $x; is ($x, '1');
337 $x = $class->new('3.14');  $x %= $x; is ($x, '0');
338 $x = $class->new('-3.14'); $x %= $x; is ($x, '0');
339
340 ###############################################################################
341 # the following two were reported by "kenny" via hotmail.com:
342
343 #perl -MMath::BigFloat -wle 'print Math::BigFloat->new(0)->bpow(".1")'
344 #Use of uninitialized value in numeric le (<=) at BigFloat.pm line 1851.
345
346 $x = $class->new(0); $y = $class->new('0.1');
347 is ($x ** $y, 0, 'no warnings and zero result');
348
349 #perl -MMath::BigFloat -lwe 'print Math::BigFloat->new(".222222222222222222222222222222222222222222")->bceil()'
350 #Use of uninitialized value in numeric le (<=) at BigFloat.pm line 1851.
351
352 $x = $class->new(".222222222222222222222222222222222222222222"); 
353 is ($x->bceil(), 1, 'no warnings and one as result');
354
355 ###############################################################################
356 # test **=, <<=, >>=
357
358 # ((2^148)-1)/17
359 $x = $class->new(2); $x **= 148; $x++; $x->bdiv(17, 60)->bfloor(); $x->accuracy(undef);
360 is ($x,"20988936657440586486151264256610222593863921");
361 is ($x->length(),length "20988936657440586486151264256610222593863921");
362
363 $x = $class->new('2');
364 my $y = $class->new('18');
365 is ($x <<= $y, 2 << 18);
366 is ($x, 2 << 18);
367 is ($x >>= $y, 2);
368 is ($x, 2);
369
370 $x = $class->new('2');
371 $y = $class->new('18.2');
372 $x <<= $y;              # 2 * (2 ** 18.2);
373
374 is ($x->copy()->bfround(-9), '602248.763144685');
375 is ($x >>= $y, 2);      # 2 * (2 ** 18.2) / (2 ** 18.2) => 2
376 is ($x, 2);
377
378 1; # all done
379
380 __DATA__
381 &bgcd
382 inf:12:NaN
383 -inf:12:NaN
384 12:inf:NaN
385 12:-inf:NaN
386 inf:inf:NaN
387 inf:-inf:NaN
388 -inf:-inf:NaN
389 abc:abc:NaN
390 abc:+0:NaN
391 +0:abc:NaN
392 +0:+0:0
393 +0:+1:1
394 +1:+0:1
395 +1:+1:1
396 +2:+3:1
397 +3:+2:1
398 -3:+2:1
399 -3:-2:1
400 -144:-60:12
401 144:-60:12
402 144:60:12
403 100:625:25
404 4096:81:1
405 1034:804:2
406 27:90:56:1
407 27:90:54:9
408 &blcm
409 abc:abc:NaN
410 abc:+0:NaN
411 +0:abc:NaN
412 +0:+0:NaN
413 +1:+0:0
414 +0:+1:0
415 +27:+90:270
416 +1034:+804:415668
417 $div_scale = 40;
418 &bcos
419 1.2:10:0.3623577545
420 2.4:12:-0.737393715541
421 0:10:1
422 0:20:1
423 1:10:0.5403023059
424 1:12:0.540302305868
425 &bsin
426 1:10:0.8414709848
427 0:10:0
428 0:20:0
429 2.1:12:0.863209366649
430 1.2:13:0.9320390859672
431 0.2:13:0.1986693307951
432 3.2:12:-0.0583741434276
433 &batan
434 NaN:10:NaN
435 inf:14:1.5707963267949
436 -inf:14:-1.5707963267949
437 0.2:13:0.1973955598499
438 0.2:14:0.19739555984988
439 0:10:0
440 1:14:0.78539816339744
441 -1:14:-0.78539816339744
442 # test an argument X > 1
443 2:14:1.1071487177941
444 &batan2
445 NaN:1:10:NaN
446 NaN:NaN:10:NaN
447 1:NaN:10:NaN
448 inf:1:14:1.5707963267949
449 -inf:1:14:-1.5707963267949
450 0:-inf:14:3.1415926535898
451 -1:-inf:14:-3.1415926535898
452 1:-inf:14:3.1415926535898
453 0:inf:14:0
454 inf:-inf:14:2.3561944901923
455 -inf:-inf:14:-2.3561944901923
456 inf:+inf:14:0.7853981633974
457 -inf:+inf:14:-0.7853981633974
458 1:5:13:0.1973955598499
459 1:5:14:0.19739555984988
460 0:0:10:0
461 0:1:14:0
462 0:2:14:0
463 1:0:14:1.5707963267949
464 5:0:14:1.5707963267949
465 -1:0:11:-1.5707963268
466 -2:0:77:-1.5707963267948966192313216916397514420985846996875529104874722961539082031431
467 2:0:77:1.5707963267948966192313216916397514420985846996875529104874722961539082031431
468 -1:5:14:-0.19739555984988
469 1:5:14:0.19739555984988
470 -1:8:14:-0.12435499454676
471 1:8:14:0.12435499454676
472 -1:1:14:-0.78539816339744
473 # test an argument X > 1 and one X < 1
474 1:2:24:0.463647609000806116214256
475 2:1:14:1.1071487177941
476 -2:1:14:-1.1071487177941
477 &bpi
478 150:3.14159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940813
479 77:3.1415926535897932384626433832795028841971693993751058209749445923078164062862
480 +0:3.141592653589793238462643383279502884197
481 11:3.1415926536
482 &bnok
483 +inf:10:inf
484 NaN:NaN:NaN
485 NaN:1:NaN
486 1:NaN:NaN
487 1:1:1
488 # k > n
489 1:2:0
490 2:3:0
491 # k < 0
492 1:-2:0
493 # 7 over 3 = 35
494 7:3:35
495 7:6:7
496 100:90:17310309456440
497 100:95:75287520
498 2:0:1
499 7:0:1
500 2:1:2
501 &flog
502 0::NaN
503 -1::NaN
504 -2::NaN
505 # base > 0, base != 1
506 2:-1:NaN
507 2:0:NaN
508 2:1:NaN
509 # log(1) is always 1, regardless of $base
510 1::0
511 1:1:0
512 1:2:0
513 2::0.6931471805599453094172321214581765680755
514 2.718281828::0.9999999998311266953289851340574956564911
515 $div_scale = 20;
516 2.718281828::0.99999999983112669533
517 $div_scale = 15;
518 123::4.81218435537242
519 10::2.30258509299405
520 1000::6.90775527898214
521 100::4.60517018598809
522 2::0.693147180559945
523 3.1415::1.14470039286086
524 12345::9.42100640177928
525 0.001::-6.90775527898214
526 # bug until v1.71:
527 10:10:1
528 100:100:1
529 # reset for further tests
530 $div_scale = 40;
531 1::0
532 &frsft
533 NaNfrsft:2:NaN
534 0:2:0
535 1:1:0.5
536 2:1:1
537 4:1:2
538 123:1:61.5
539 32:3:4
540 &flsft
541 NaNflsft:0:NaN
542 2:1:4
543 4:3:32
544 5:3:40
545 1:2:4
546 0:5:0
547 &fnorm
548 1:1
549 -0:0
550 fnormNaN:NaN
551 +inf:inf
552 -inf:-inf
553 123:123
554 -123.4567:-123.4567
555 # invalid inputs
556 1__2:NaN
557 1E1__2:NaN
558 11__2E2:NaN
559 .2E-3.:NaN
560 1e3e4:NaN
561 # strange, but valid
562 .2E2:20
563 1.E3:1000
564 # some inputs that result in zero
565 0e0:0
566 +0e0:0
567 +0e+0:0
568 -0e+0:0
569 0e-0:0
570 -0e-0:0
571 +0e-0:0
572 000:0
573 00e2:0
574 00e02:0
575 000e002:0
576 000e1230:0
577 00e-3:0
578 00e+3:0
579 00e-03:0
580 00e+03:0
581 -000:0
582 -00e2:0
583 -00e02:0
584 -000e002:0
585 -000e1230:0
586 -00e-3:0
587 -00e+3:0
588 -00e-03:0
589 -00e+03:0
590 &as_number
591 0:0
592 1:1
593 1.2:1
594 2.345:2
595 -2:-2
596 -123.456:-123
597 -200:-200
598 -inf:-inf
599 inf:inf
600 NaN:NaN
601 71243225429896467497217836789578596379:71243225429896467497217836789578596379
602 # test for bug in brsft() not handling cases that return 0
603 0.000641:0
604 0.0006412:0
605 0.00064123:0
606 0.000641234:0
607 0.0006412345:0
608 0.00064123456:0
609 0.000641234567:0
610 0.0006412345678:0
611 0.00064123456789:0
612 0.1:0
613 0.01:0
614 0.001:0
615 0.0001:0
616 0.00001:0
617 0.000001:0
618 0.0000001:0
619 0.00000001:0
620 0.000000001:0
621 0.0000000001:0
622 0.00000000001:0
623 0.12345:0
624 0.123456:0
625 0.1234567:0
626 0.12345678:0
627 0.123456789:0
628 &finf
629 1:+:inf
630 2:-:-inf
631 3:abc:inf
632 &as_hex
633 +inf:inf
634 -inf:-inf
635 hexNaN:NaN
636 0:0x0
637 5:0x5
638 -5:-0x5
639 &as_bin
640 +inf:inf
641 -inf:-inf
642 hexNaN:NaN
643 0:0b0
644 5:0b101
645 -5:-0b101
646 &numify
647 # uses bsstr() so 5 => 5e+0 to be compatible w/ Perls output
648 0:0
649 +1:1
650 1234:1234
651 -5:-5
652 100:100
653 -100:-100
654 &fnan
655 abc:NaN
656 2:NaN
657 -2:NaN
658 0:NaN
659 &fone
660 2:+:1
661 -2:-:-1
662 -2:+:1
663 2:-:-1
664 0::1
665 -2::1
666 abc::1
667 2:abc:1
668 &fsstr
669 +inf:inf
670 -inf:-inf
671 abcfsstr:NaN
672 -abcfsstr:NaN
673 1234.567:1234567e-3
674 123:123e+0
675 -5:-5e+0
676 -100:-1e+2
677 &fstr
678 +inf:::inf
679 -inf:::-inf
680 abcfstr:::NaN
681 1234.567:9::1234.56700
682 1234.567::-6:1234.567000
683 12345:5::12345
684 0.001234:6::0.00123400
685 0.001234::-8:0.00123400
686 0:4::0
687 0::-4:0.0000
688 &fnorm
689 inf:inf
690 +inf:inf
691 -inf:-inf
692 +infinity:NaN
693 +-inf:NaN
694 abc:NaN
695    1 a:NaN
696 1bcd2:NaN
697 11111b:NaN
698 +1z:NaN
699 -1z:NaN
700 0e999:0
701 0e-999:0
702 -0e999:0
703 -0e-999:0
704 0:0
705 +0:0
706 +00:0
707 +0_0_0:0
708 000000_0000000_00000:0
709 -0:0
710 -0000:0
711 +1:1
712 +01:1
713 +001:1
714 +00000100000:100000
715 123456789:123456789
716 -1:-1
717 -01:-1
718 -001:-1
719 -123456789:-123456789
720 -00000100000:-100000
721 123.456a:NaN
722 123.456:123.456
723 0.01:0.01
724 .002:0.002
725 +.2:0.2
726 -0.0003:-0.0003
727 -.0000000004:-0.0000000004
728 123456E2:12345600
729 123456E-2:1234.56
730 -123456E2:-12345600
731 -123456E-2:-1234.56
732 1e1:10
733 2e-11:0.00000000002
734 # exercise _split
735   .02e-1:0.002
736    000001:1
737    -00001:-1
738    -1:-1
739   000.01:0.01
740    -000.0023:-0.0023
741   1.1e1:11
742 -3e111:-3000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
743 -4e-1111:-0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004
744 &fpow
745 NaN:1:NaN
746 1:NaN:NaN
747 NaN:-1:NaN
748 -1:NaN:NaN
749 NaN:-21:NaN
750 -21:NaN:NaN
751 NaN:21:NaN
752 21:NaN:NaN
753 0:0:1
754 0:1:0
755 0:9:0
756 0:-2:inf
757 2:2:4
758 1:2:1
759 1:3:1
760 -1:2:1
761 -1:3:-1
762 123.456:2:15241.383936
763 2:-2:0.25
764 2:-3:0.125
765 128:-2:0.00006103515625
766 abc:123.456:NaN
767 123.456:abc:NaN
768 +inf:123.45:inf
769 -inf:123.45:-inf
770 +inf:-123.45:inf
771 -inf:-123.45:-inf
772 -2:2:4
773 -2:3:-8
774 -2:4:16
775 -2:5:-32
776 -3:2:9
777 -3:3:-27
778 -3:4:81
779 -3:5:-243
780 # 2 ** 0.5 == sqrt(2)
781 #     1.41..7 and not 1.4170 since fallback (bsqrt(9) is '3', not 3.0...0)
782 2:0.5:1.41421356237309504880168872420969807857
783 #2:0.2:1.148698354997035006798626946777927589444
784 #6:1.5:14.6969384566990685891837044482353483518
785 $div_scale = 20;
786 #62.5:12.5:26447206647554886213592.3959144
787 $div_scale = 40;
788 &fneg
789 fnegNaN:NaN
790 +inf:-inf
791 -inf:inf
792 +0:0
793 +1:-1
794 -1:1
795 +123456789:-123456789
796 -123456789:123456789
797 +123.456789:-123.456789
798 -123456.789:123456.789
799 &fabs
800 fabsNaN:NaN
801 +inf:inf
802 -inf:inf
803 +0:0
804 +1:1
805 -1:1
806 +123456789:123456789
807 -123456789:123456789
808 +123.456789:123.456789
809 -123456.789:123456.789
810 &fround
811 $round_mode = "trunc"
812 +inf:5:inf
813 -inf:5:-inf
814 0:5:0
815 NaNfround:5:NaN
816 +10123456789:5:10123000000
817 -10123456789:5:-10123000000
818 +10123456789.123:5:10123000000
819 -10123456789.123:5:-10123000000
820 +10123456789:9:10123456700
821 -10123456789:9:-10123456700
822 +101234500:6:101234000
823 -101234500:6:-101234000
824 $round_mode = "zero"
825 +20123456789:5:20123000000
826 -20123456789:5:-20123000000
827 +20123456789.123:5:20123000000
828 -20123456789.123:5:-20123000000
829 +20123456789:9:20123456800
830 -20123456789:9:-20123456800
831 +201234500:6:201234000
832 -201234500:6:-201234000
833 $round_mode = "+inf"
834 +30123456789:5:30123000000
835 -30123456789:5:-30123000000
836 +30123456789.123:5:30123000000
837 -30123456789.123:5:-30123000000
838 +30123456789:9:30123456800
839 -30123456789:9:-30123456800
840 +301234500:6:301235000
841 -301234500:6:-301234000
842 $round_mode = "-inf"
843 +40123456789:5:40123000000
844 -40123456789:5:-40123000000
845 +40123456789.123:5:40123000000
846 -40123456789.123:5:-40123000000
847 +40123456789:9:40123456800
848 -40123456789:9:-40123456800
849 +401234500:6:401234000
850 -401234500:6:-401235000
851 $round_mode = "odd"
852 +50123456789:5:50123000000
853 -50123456789:5:-50123000000
854 +50123456789.123:5:50123000000
855 -50123456789.123:5:-50123000000
856 +50123456789:9:50123456800
857 -50123456789:9:-50123456800
858 +501234500:6:501235000
859 -501234500:6:-501235000
860 $round_mode = "even"
861 +60123456789:5:60123000000
862 -60123456789:5:-60123000000
863 +60123456789:9:60123456800
864 -60123456789:9:-60123456800
865 +601234500:6:601234000
866 -601234500:6:-601234000
867 +60123456789.0123:5:60123000000
868 -60123456789.0123:5:-60123000000
869 $round_mode = "common"
870 +60123456789:5:60123000000
871 -60123456789:5:-60123000000
872 +60123456789:6:60123500000
873 -60123456789:6:-60123500000
874 +60123456789:9:60123456800
875 -60123456789:9:-60123456800
876 +601234500:6:601235000
877 -601234500:6:-601235000
878 +601234400:6:601234000
879 -601234400:6:-601234000
880 +601234600:6:601235000
881 -601234600:6:-601235000
882 +601234300:6:601234000
883 +60123456789.0123:5:60123000000
884 -60123456789.0123:5:-60123000000
885 &ffround
886 $round_mode = "trunc"
887 +inf:5:inf
888 -inf:5:-inf
889 0:5:0
890 NaNffround:5:NaN
891 +1.23:-1:1.2
892 +1.234:-1:1.2
893 +1.2345:-1:1.2
894 +1.23:-2:1.23
895 +1.234:-2:1.23
896 +1.2345:-2:1.23
897 +1.23:-3:1.230
898 +1.234:-3:1.234
899 +1.2345:-3:1.234
900 -1.23:-1:-1.2
901 +1.27:-1:1.2
902 -1.27:-1:-1.2
903 +1.25:-1:1.2
904 -1.25:-1:-1.2
905 +1.35:-1:1.3
906 -1.35:-1:-1.3
907 -0.0061234567890:-1:0.0
908 -0.0061:-1:0.0
909 -0.00612:-1:0.0
910 -0.00612:-2:0.00
911 -0.006:-1:0.0
912 -0.006:-2:0.00
913 -0.0006:-2:0.00
914 -0.0006:-3:0.000
915 -0.0065:-3:/-0\.006|-6e-03
916 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
917 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
918 0.05:0:0
919 0.5:0:0
920 0.51:0:0
921 0.41:0:0
922 $round_mode = "zero"
923 +2.23:-1:/2.2(?:0{5}\d+)?
924 -2.23:-1:/-2.2(?:0{5}\d+)?
925 +2.27:-1:/2.(?:3|29{5}\d+)
926 -2.27:-1:/-2.(?:3|29{5}\d+)
927 +2.25:-1:/2.2(?:0{5}\d+)?
928 -2.25:-1:/-2.2(?:0{5}\d+)?
929 +2.35:-1:/2.(?:3|29{5}\d+)
930 -2.35:-1:/-2.(?:3|29{5}\d+)
931 -0.0065:-1:0.0
932 -0.0065:-2:/-0\.01|-1e-02
933 -0.0065:-3:/-0\.006|-6e-03
934 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
935 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
936 0.05:0:0
937 0.5:0:0
938 0.51:0:1
939 0.41:0:0
940 $round_mode = "+inf"
941 +3.23:-1:/3.2(?:0{5}\d+)?
942 -3.23:-1:/-3.2(?:0{5}\d+)?
943 +3.27:-1:/3.(?:3|29{5}\d+)
944 -3.27:-1:/-3.(?:3|29{5}\d+)
945 +3.25:-1:/3.(?:3|29{5}\d+)
946 -3.25:-1:/-3.2(?:0{5}\d+)?
947 +3.35:-1:/3.(?:4|39{5}\d+)
948 -3.35:-1:/-3.(?:3|29{5}\d+)
949 -0.0065:-1:0.0
950 -0.0065:-2:/-0\.01|-1e-02
951 -0.0065:-3:/-0\.006|-6e-03
952 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
953 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
954 0.05:0:0
955 0.5:0:1
956 0.51:0:1
957 0.41:0:0
958 $round_mode = "-inf"
959 +4.23:-1:/4.2(?:0{5}\d+)?
960 -4.23:-1:/-4.2(?:0{5}\d+)?
961 +4.27:-1:/4.(?:3|29{5}\d+)
962 -4.27:-1:/-4.(?:3|29{5}\d+)
963 +4.25:-1:/4.2(?:0{5}\d+)?
964 -4.25:-1:/-4.(?:3|29{5}\d+)
965 +4.35:-1:/4.(?:3|29{5}\d+)
966 -4.35:-1:/-4.(?:4|39{5}\d+)
967 -0.0065:-1:0.0
968 -0.0065:-2:/-0\.01|-1e-02
969 -0.0065:-3:/-0\.007|-7e-03
970 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
971 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
972 0.05:0:0
973 0.5:0:0
974 0.51:0:1
975 0.41:0:0
976 $round_mode = "odd"
977 +5.23:-1:/5.2(?:0{5}\d+)?
978 -5.23:-1:/-5.2(?:0{5}\d+)?
979 +5.27:-1:/5.(?:3|29{5}\d+)
980 -5.27:-1:/-5.(?:3|29{5}\d+)
981 +5.25:-1:/5.(?:3|29{5}\d+)
982 -5.25:-1:/-5.(?:3|29{5}\d+)
983 +5.35:-1:/5.(?:3|29{5}\d+)
984 -5.35:-1:/-5.(?:3|29{5}\d+)
985 -0.0065:-1:0.0
986 -0.0065:-2:/-0\.01|-1e-02
987 -0.0065:-3:/-0\.007|-7e-03
988 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
989 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
990 0.05:0:0
991 0.5:0:1
992 0.51:0:1
993 0.41:0:0
994 $round_mode = "even"
995 +6.23:-1:/6.2(?:0{5}\d+)?
996 -6.23:-1:/-6.2(?:0{5}\d+)?
997 +6.27:-1:/6.(?:3|29{5}\d+)
998 -6.27:-1:/-6.(?:3|29{5}\d+)
999 +6.25:-1:/6.(?:2(?:0{5}\d+)?|29{5}\d+)
1000 -6.25:-1:/-6.(?:2(?:0{5}\d+)?|29{5}\d+)
1001 +6.35:-1:/6.(?:4|39{5}\d+|29{8}\d+)
1002 -6.35:-1:/-6.(?:4|39{5}\d+|29{8}\d+)
1003 -0.0065:-1:0.0
1004 -0.0065:-2:/-0\.01|-1e-02
1005 -0.0065:-3:/-0\.006|-7e-03
1006 -0.0065:-4:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
1007 -0.0065:-5:/-0\.006(?:5|49{5}\d+)|-6\.5e-03
1008 0.05:0:0
1009 0.5:0:0
1010 0.51:0:1
1011 0.41:0:0
1012 0.01234567:-3:0.012
1013 0.01234567:-4:0.0123
1014 0.01234567:-5:0.01235
1015 0.01234567:-6:0.012346
1016 0.01234567:-7:0.0123457
1017 0.01234567:-8:0.01234567
1018 0.01234567:-9:0.012345670
1019 0.01234567:-12:0.012345670000
1020 &fcmp
1021 fcmpNaN:fcmpNaN:
1022 fcmpNaN:+0:
1023 +0:fcmpNaN:
1024 +0:+0:0
1025 -1:+0:-1
1026 +0:-1:1
1027 +1:+0:1
1028 +0:+1:-1
1029 -1:+1:-1
1030 +1:-1:1
1031 -1:-1:0
1032 +1:+1:0
1033 -1.1:0:-1
1034 +0:-1.1:1
1035 +1.1:+0:1
1036 +0:+1.1:-1
1037 +123:+123:0
1038 +123:+12:1
1039 +12:+123:-1
1040 -123:-123:0
1041 -123:-12:-1
1042 -12:-123:1
1043 +123:+124:-1
1044 +124:+123:1
1045 -123:-124:1
1046 -124:-123:-1
1047 0:0.01:-1
1048 0:0.0001:-1
1049 0:-0.0001:1
1050 0:-0.1:1
1051 0.1:0:1
1052 0.00001:0:1
1053 -0.0001:0:-1
1054 -0.1:0:-1
1055 0:0.0001234:-1
1056 0:-0.0001234:1
1057 0.0001234:0:1
1058 -0.0001234:0:-1
1059 0.0001:0.0005:-1
1060 0.0005:0.0001:1
1061 0.005:0.0001:1
1062 0.001:0.0005:1
1063 0.000001:0.0005:-1
1064 0.00000123:0.0005:-1
1065 0.00512:0.0001:1
1066 0.005:0.000112:1
1067 0.00123:0.0005:1
1068 1.5:2:-1
1069 2:1.5:1
1070 1.54321:234:-1
1071 234:1.54321:1
1072 1e1234567890987654321:1e1234567890987654320:1
1073 1e-1234567890987654321:1e-1234567890987654320:-1
1074 # infinity
1075 -inf:5432112345:-1
1076 +inf:5432112345:1
1077 -inf:-5432112345:-1
1078 +inf:-5432112345:1
1079 -inf:54321.12345:-1
1080 +inf:54321.12345:1
1081 -inf:-54321.12345:-1
1082 +inf:-54321.12345:1
1083 +inf:+inf:0
1084 -inf:-inf:0
1085 +inf:-inf:1
1086 -inf:+inf:-1
1087 # return undef
1088 +inf:NaN:
1089 NaN:inf:
1090 -inf:NaN:
1091 NaN:-inf:
1092 &facmp
1093 fcmpNaN:fcmpNaN:
1094 fcmpNaN:+0:
1095 +0:fcmpNaN:
1096 +0:+0:0
1097 -1:+0:1
1098 +0:-1:-1
1099 +1:+0:1
1100 +0:+1:-1
1101 -1:+1:0
1102 +1:-1:0
1103 -1:-1:0
1104 +1:+1:0
1105 -1.1:0:1
1106 +0:-1.1:-1
1107 +1.1:+0:1
1108 +0:+1.1:-1
1109 +123:+123:0
1110 +123:+12:1
1111 +12:+123:-1
1112 -123:-123:0
1113 -123:-12:1
1114 -12:-123:-1
1115 +123:+124:-1
1116 +124:+123:1
1117 -123:-124:-1
1118 -124:-123:1
1119 0:0.01:-1
1120 0:0.0001:-1
1121 0:-0.0001:-1
1122 0:-0.1:-1
1123 0.1:0:1
1124 0.00001:0:1
1125 -0.0001:0:1
1126 -0.1:0:1
1127 0:0.0001234:-1
1128 0:-0.0001234:-1
1129 0.0001234:0:1
1130 -0.0001234:0:1
1131 0.0001:0.0005:-1
1132 0.0005:0.0001:1
1133 0.005:0.0001:1
1134 0.001:0.0005:1
1135 0.000001:0.0005:-1
1136 0.00000123:0.0005:-1
1137 0.00512:0.0001:1
1138 0.005:0.000112:1
1139 0.00123:0.0005:1
1140 1.5:2:-1
1141 2:1.5:1
1142 1.54321:234:-1
1143 234:1.54321:1
1144 # infinity
1145 -inf:5432112345:1
1146 +inf:5432112345:1
1147 -inf:-5432112345:1
1148 +inf:-5432112345:1
1149 -inf:54321.12345:1
1150 +inf:54321.12345:1
1151 -inf:-54321.12345:1
1152 +inf:-54321.12345:1
1153 +inf:+inf:0
1154 -inf:-inf:0
1155 +inf:-inf:0
1156 -inf:+inf:0
1157 5:inf:-1
1158 -1:inf:-1
1159 5:-inf:-1
1160 -1:-inf:-1
1161 # return undef
1162 +inf:facmpNaN:
1163 facmpNaN:inf:
1164 -inf:facmpNaN:
1165 facmpNaN:-inf:
1166 &fdec
1167 fdecNaN:NaN
1168 +inf:inf
1169 -inf:-inf
1170 +0:-1
1171 +1:0
1172 -1:-2
1173 1.23:0.23
1174 -1.23:-2.23
1175 100:99
1176 101:100
1177 -100:-101
1178 -99:-100
1179 -98:-99
1180 99:98
1181 &finc
1182 fincNaN:NaN
1183 +inf:inf
1184 -inf:-inf
1185 +0:1
1186 +1:2
1187 -1:0
1188 1.23:2.23
1189 -1.23:-0.23
1190 100:101
1191 -100:-99
1192 -99:-98
1193 -101:-100
1194 99:100
1195 &fadd
1196 abc:abc:NaN
1197 abc:+0:NaN
1198 +0:abc:NaN
1199 +inf:-inf:NaN
1200 -inf:+inf:NaN
1201 +inf:+inf:inf
1202 -inf:-inf:-inf
1203 baddNaN:+inf:NaN
1204 baddNaN:+inf:NaN
1205 +inf:baddNaN:NaN
1206 -inf:baddNaN:NaN
1207 +0:+0:0
1208 +1:+0:1
1209 +0:+1:1
1210 +1:+1:2
1211 -1:+0:-1
1212 +0:-1:-1
1213 -1:-1:-2
1214 -1:+1:0
1215 +1:-1:0
1216 +9:+1:10
1217 +99:+1:100
1218 +999:+1:1000
1219 +9999:+1:10000
1220 +99999:+1:100000
1221 +999999:+1:1000000
1222 +9999999:+1:10000000
1223 +99999999:+1:100000000
1224 +999999999:+1:1000000000
1225 +9999999999:+1:10000000000
1226 +99999999999:+1:100000000000
1227 +10:-1:9
1228 +100:-1:99
1229 +1000:-1:999
1230 +10000:-1:9999
1231 +100000:-1:99999
1232 +1000000:-1:999999
1233 +10000000:-1:9999999
1234 +100000000:-1:99999999
1235 +1000000000:-1:999999999
1236 +10000000000:-1:9999999999
1237 +123456789:+987654321:1111111110
1238 -123456789:+987654321:864197532
1239 -123456789:-987654321:-1111111110
1240 +123456789:-987654321:-864197532
1241 0.001234:0.0001234:0.0013574
1242 &fsub
1243 abc:abc:NaN
1244 abc:+0:NaN
1245 +0:abc:NaN
1246 +inf:-inf:inf
1247 -inf:+inf:-inf
1248 +inf:+inf:NaN
1249 -inf:-inf:NaN
1250 baddNaN:+inf:NaN
1251 baddNaN:+inf:NaN
1252 +inf:baddNaN:NaN
1253 -inf:baddNaN:NaN
1254 +0:+0:0
1255 +1:+0:1
1256 +0:+1:-1
1257 +1:+1:0
1258 -1:+0:-1
1259 +0:-1:1
1260 -1:-1:0
1261 -1:+1:-2
1262 +1:-1:2
1263 +9:+1:8
1264 +99:+1:98
1265 +999:+1:998
1266 +9999:+1:9998
1267 +99999:+1:99998
1268 +999999:+1:999998
1269 +9999999:+1:9999998
1270 +99999999:+1:99999998
1271 +999999999:+1:999999998
1272 +9999999999:+1:9999999998
1273 +99999999999:+1:99999999998
1274 +10:-1:11
1275 +100:-1:101
1276 +1000:-1:1001
1277 +10000:-1:10001
1278 +100000:-1:100001
1279 +1000000:-1:1000001
1280 +10000000:-1:10000001
1281 +100000000:-1:100000001
1282 +1000000000:-1:1000000001
1283 +10000000000:-1:10000000001
1284 +123456789:+987654321:-864197532
1285 -123456789:+987654321:-1111111110
1286 -123456789:-987654321:864197532
1287 +123456789:-987654321:1111111110
1288 &bmuladd
1289 abc:abc:0:NaN
1290 abc:+0:0:NaN
1291 +0:abc:0:NaN
1292 +0:0:abc:NaN
1293 NaNmul:+inf:0:NaN
1294 NaNmul:-inf:0:NaN
1295 -inf:NaNmul:0:NaN
1296 +inf:NaNmul:0:NaN
1297 +inf:+inf:0:inf
1298 +inf:-inf:0:-inf
1299 -inf:+inf:0:-inf
1300 -inf:-inf:0:inf
1301 +0:+0:0:0
1302 +0:+1:0:0
1303 +1:+0:0:0
1304 +0:-1:0:0
1305 -1:+0:0:0
1306 123456789123456789:0:0:0
1307 0:123456789123456789:0:0
1308 -1:-1:0:1
1309 -1:-1:0:1
1310 -1:+1:0:-1
1311 +1:-1:0:-1
1312 +1:+1:0:1
1313 +2:+3:0:6
1314 -2:+3:0:-6
1315 +2:-3:0:-6
1316 -2:-3:0:6
1317 111:111:0:12321
1318 10101:10101:0:102030201
1319 1001001:1001001:0:1002003002001
1320 100010001:100010001:0:10002000300020001
1321 10000100001:10000100001:0:100002000030000200001
1322 11111111111:9:0:99999999999
1323 22222222222:9:0:199999999998
1324 33333333333:9:0:299999999997
1325 44444444444:9:0:399999999996
1326 55555555555:9:0:499999999995
1327 66666666666:9:0:599999999994
1328 77777777777:9:0:699999999993
1329 88888888888:9:0:799999999992
1330 99999999999:9:0:899999999991
1331 11111111111:9:1:100000000000
1332 22222222222:9:1:199999999999
1333 33333333333:9:1:299999999998
1334 44444444444:9:1:399999999997
1335 55555555555:9:1:499999999996
1336 66666666666:9:1:599999999995
1337 77777777777:9:1:699999999994
1338 88888888888:9:1:799999999993
1339 99999999999:9:1:899999999992
1340 -3:-4:-5:7
1341 3:-4:-5:-17
1342 -3:4:-5:-17
1343 3:4:-5:7
1344 -3:4:5:-7
1345 3:-4:5:-7
1346 9999999999999999999:10000000000000000000:1234567890:99999999999999999990000000001234567890
1347 3.2:5.7:8.9:27.14
1348 -3.2:5.197:6.05:-10.5804
1349 &bmodpow
1350 3:4:8:1
1351 3:4:7:4
1352 3:4:7:4
1353 77777:777:123456789:99995084
1354 3.2:6.2:5.2:2.970579856718063040273642739529400818
1355 &fmul
1356 abc:abc:NaN
1357 abc:+0:NaN
1358 +0:abc:NaN
1359 +inf:NaNmul:NaN
1360 +inf:NaNmul:NaN
1361 NaNmul:+inf:NaN
1362 NaNmul:-inf:NaN
1363 +inf:+inf:inf
1364 +inf:-inf:-inf
1365 +inf:-inf:-inf
1366 +inf:+inf:inf
1367 +inf:123.34:inf
1368 +inf:-123.34:-inf
1369 -inf:123.34:-inf
1370 -inf:-123.34:inf
1371 123.34:+inf:inf
1372 -123.34:+inf:-inf
1373 123.34:-inf:-inf
1374 -123.34:-inf:inf
1375 +0:+0:0
1376 +0:+1:0
1377 +1:+0:0
1378 +0:-1:0
1379 -1:+0:0
1380 +123456789123456789:+0:0
1381 +0:+123456789123456789:0
1382 -1:-1:1
1383 -1:+1:-1
1384 +1:-1:-1
1385 +1:+1:1
1386 +2:+3:6
1387 -2:+3:-6
1388 +2:-3:-6
1389 -2:-3:6
1390 +111:+111:12321
1391 +10101:+10101:102030201
1392 +1001001:+1001001:1002003002001
1393 +100010001:+100010001:10002000300020001
1394 +10000100001:+10000100001:100002000030000200001
1395 +11111111111:+9:99999999999
1396 +22222222222:+9:199999999998
1397 +33333333333:+9:299999999997
1398 +44444444444:+9:399999999996
1399 +55555555555:+9:499999999995
1400 +66666666666:+9:599999999994
1401 +77777777777:+9:699999999993
1402 +88888888888:+9:799999999992
1403 +99999999999:+9:899999999991
1404 6:120:720
1405 10:10000:100000
1406 &fdiv-list
1407 0:0:NaN,NaN
1408 0:1:0,0
1409 9:4:2,1
1410 9:5:1,4
1411 # bug in v1.74 with bdiv in list context, when $y is 1 or -1
1412 2.1:-1:-2.1,0
1413 2.1:1:2.1,0
1414 -2.1:-1:2.1,0
1415 -2.1:1:-2.1,0
1416 &fdiv
1417 $div_scale = 40; $round_mode = 'even'
1418 abc:abc:NaN
1419 abc:+1:abc:NaN
1420 +1:abc:NaN
1421 -1:abc:NaN
1422 0:abc:NaN
1423 +0:+0:NaN
1424 +0:+1:0
1425 +1:+0:inf
1426 +3214:+0:inf
1427 +0:-1:0
1428 -1:+0:-inf
1429 -3214:+0:-inf
1430 +1:+1:1
1431 -1:-1:1
1432 +1:-1:-1
1433 -1:+1:-1
1434 +1:+2:0.5
1435 +2:+1:2
1436 123:+inf:0
1437 123:-inf:0
1438 +10:+5:2
1439 +100:+4:25
1440 +1000:+8:125
1441 +10000:+16:625
1442 +10000:-16:-625
1443 +999999999999:+9:111111111111
1444 +999999999999:+99:10101010101
1445 +999999999999:+999:1001001001
1446 +999999999999:+9999:100010001
1447 +999999999999999:+99999:10000100001
1448 +1000000000:+9:111111111.1111111111111111111111111111111
1449 +2000000000:+9:222222222.2222222222222222222222222222222
1450 +3000000000:+9:333333333.3333333333333333333333333333333
1451 +4000000000:+9:444444444.4444444444444444444444444444444
1452 +5000000000:+9:555555555.5555555555555555555555555555556
1453 +6000000000:+9:666666666.6666666666666666666666666666667
1454 +7000000000:+9:777777777.7777777777777777777777777777778
1455 +8000000000:+9:888888888.8888888888888888888888888888889
1456 +9000000000:+9:1000000000
1457 +35500000:+113:314159.2920353982300884955752212389380531
1458 +71000000:+226:314159.2920353982300884955752212389380531
1459 +106500000:+339:314159.2920353982300884955752212389380531
1460 +1000000000:+3:333333333.3333333333333333333333333333333
1461 2:25.024996000799840031993601279744051189762:0.07992009269196593320152084692285869265447
1462 123456:1:123456
1463 $div_scale = 20
1464 +1000000000:+9:111111111.11111111111
1465 +2000000000:+9:222222222.22222222222
1466 +3000000000:+9:333333333.33333333333
1467 +4000000000:+9:444444444.44444444444
1468 +5000000000:+9:555555555.55555555556
1469 +6000000000:+9:666666666.66666666667
1470 +7000000000:+9:777777777.77777777778
1471 +8000000000:+9:888888888.88888888889
1472 +9000000000:+9:1000000000
1473 1:10:0.1
1474 1:100:0.01
1475 1:1000:0.001
1476 1:10000:0.0001
1477 1:504:0.001984126984126984127
1478 2:1.987654321:1.0062111801179738436
1479 123456789.123456789123456789123456789:1:123456789.12345678912
1480 # the next two cases are the "old" behaviour, but are now (>v0.01) different
1481 #+35500000:+113:314159.292035398230088
1482 #+71000000:+226:314159.292035398230088
1483 +35500000:+113:314159.29203539823009
1484 +71000000:+226:314159.29203539823009
1485 +106500000:+339:314159.29203539823009
1486 +1000000000:+3:333333333.33333333333
1487 $div_scale = 1
1488 # round to accuracy 1 after bdiv
1489 +124:+3:40
1490 123456789.1234:1:100000000
1491 # reset scale for further tests
1492 $div_scale = 40
1493 &fmod
1494 +9:4:1
1495 +9:5:4
1496 +9000:56:40
1497 +56:9000:56
1498 # inf handling, see table in doc
1499 0:inf:0
1500 0:-inf:0
1501 5:inf:5
1502 5:-inf:5
1503 -5:inf:-5
1504 -5:-inf:-5
1505 inf:5:0
1506 -inf:5:0
1507 inf:-5:0
1508 -inf:-5:0
1509 5:5:0
1510 -5:-5:0
1511 inf:inf:NaN
1512 -inf:-inf:NaN
1513 -inf:inf:NaN
1514 inf:-inf:NaN
1515 8:0:8
1516 inf:0:inf
1517 # exceptions to remainder rule
1518 -inf:0:-inf
1519 -8:0:-8
1520 0:0:NaN
1521 abc:abc:NaN
1522 abc:1:abc:NaN
1523 1:abc:NaN
1524 0:0:NaN
1525 0:1:0
1526 1:0:1
1527 0:-1:0
1528 -1:0:-1
1529 1:1:0
1530 -1:-1:0
1531 1:-1:0
1532 -1:1:0
1533 1:2:1
1534 2:1:0
1535 1000000000:9:1
1536 2000000000:9:2
1537 3000000000:9:3
1538 4000000000:9:4
1539 5000000000:9:5
1540 6000000000:9:6
1541 7000000000:9:7
1542 8000000000:9:8
1543 9000000000:9:0
1544 35500000:113:33
1545 71000000:226:66
1546 106500000:339:99
1547 1000000000:3:1
1548 10:5:0
1549 100:4:0
1550 1000:8:0
1551 10000:16:0
1552 999999999999:9:0
1553 999999999999:99:0
1554 999999999999:999:0
1555 999999999999:9999:0
1556 999999999999999:99999:0
1557 -9:+5:1
1558 +9:-5:-1
1559 -9:-5:-4
1560 -5:3:1
1561 -2:3:1
1562 4:3:1
1563 1:3:1
1564 -5:-3:-2
1565 -2:-3:-2
1566 4:-3:-2
1567 1:-3:-2
1568 4095:4095:0
1569 100041000510123:3:0
1570 152403346:12345:4321
1571 87654321:87654321:0
1572 # now some floating point tests
1573 123:2.5:0.5
1574 1230:2.5:0
1575 123.4:2.5:0.9
1576 123e1:25:5
1577 -2.1:1:0.9
1578 2.1:1:0.1
1579 -2.1:-1:-0.1
1580 2.1:-1:-0.9
1581 -3:1:0
1582 3:1:0
1583 -3:-1:0
1584 3:-1:0
1585 &ffac
1586 Nanfac:NaN
1587 -1:NaN
1588 +inf:inf
1589 -inf:NaN
1590 0:1
1591 1:1
1592 2:2
1593 3:6
1594 4:24
1595 5:120
1596 6:720
1597 10:3628800
1598 11:39916800
1599 12:479001600
1600 &froot
1601 # sqrt()
1602 +0:2:0
1603 +1:2:1
1604 -1:2:NaN
1605 # -$x ** (1/2) => -$y, but not in froot()
1606 -123.456:2:NaN
1607 +inf:2:inf
1608 -inf:2:NaN
1609 2:2:1.41421356237309504880168872420969807857
1610 -2:2:NaN
1611 4:2:2
1612 9:2:3
1613 16:2:4
1614 100:2:10
1615 123.456:2:11.11107555549866648462149404118219234119
1616 15241.38393:2:123.4559999756998444766131352122991626468
1617 1.44:2:1.2
1618 12:2:3.464101615137754587054892683011744733886
1619 0.49:2:0.7
1620 0.0049:2:0.07
1621 # invalid ones
1622 1:NaN:NaN
1623 -1:NaN:NaN
1624 0:NaN:NaN
1625 -inf:NaN:NaN
1626 +inf:NaN:NaN
1627 NaN:0:NaN
1628 NaN:2:NaN
1629 NaN:inf:NaN
1630 NaN:inf:NaN
1631 12:-inf:NaN
1632 12:inf:NaN
1633 +0:0:NaN
1634 +1:0:NaN
1635 -1:0:NaN
1636 -2:0:NaN
1637 -123.45:0:NaN
1638 +inf:0:NaN
1639 12:1:12
1640 -12:1:NaN
1641 8:-1:NaN
1642 -8:-1:NaN
1643 # cubic root
1644 8:3:2
1645 -8:3:NaN
1646 # fourths root
1647 16:4:2
1648 81:4:3
1649 # see t/bigroot() for more tests
1650 &fsqrt
1651 +0:0
1652 -1:NaN
1653 -2:NaN
1654 -16:NaN
1655 -123.45:NaN
1656 nanfsqrt:NaN
1657 +inf:inf
1658 -inf:NaN
1659 1:1
1660 2:1.41421356237309504880168872420969807857
1661 4:2
1662 9:3
1663 16:4
1664 100:10
1665 123.456:11.11107555549866648462149404118219234119
1666 15241.38393:123.4559999756998444766131352122991626468
1667 1.44:1.2
1668 # sqrt(1.44) = 1.2, sqrt(e10) = e5 => 12e4
1669 1.44E10:120000
1670 2e10:141421.356237309504880168872420969807857
1671 144e20:120000000000
1672 # proved to be an endless loop under 7-9
1673 12:3.464101615137754587054892683011744733886
1674 0.49:0.7
1675 0.0049:0.07
1676 &is_nan
1677 123:0
1678 abc:1
1679 NaN:1
1680 -123:0
1681 &is_inf
1682 +inf::1
1683 -inf::1
1684 abc::0
1685 1::0
1686 NaN::0
1687 -1::0
1688 +inf:-:0
1689 +inf:+:1
1690 -inf:-:1
1691 -inf:+:0
1692 # it must be exactly /^[+-]inf$/
1693 +infinity::0
1694 -infinity::0
1695 &is_odd
1696 abc:0
1697 0:0
1698 -1:1
1699 -3:1
1700 1:1
1701 3:1
1702 1000001:1
1703 1000002:0
1704 +inf:0
1705 -inf:0
1706 123.45:0
1707 -123.45:0
1708 2:0
1709 &is_int
1710 NaNis_int:0
1711 0:1
1712 1:1
1713 2:1
1714 -2:1
1715 -1:1
1716 -inf:0
1717 +inf:0
1718 123.4567:0
1719 -0.1:0
1720 -0.002:0
1721 &is_even
1722 abc:0
1723 0:1
1724 -1:0
1725 -3:0
1726 1:0
1727 3:0
1728 1000001:0
1729 1000002:1
1730 2:1
1731 +inf:0
1732 -inf:0
1733 123.456:0
1734 -123.456:0
1735 0.01:0
1736 -0.01:0
1737 120:1
1738 1200:1
1739 -1200:1
1740 &is_positive
1741 0:0
1742 1:1
1743 -1:0
1744 -123:0
1745 NaN:0
1746 -inf:0
1747 +inf:1
1748 &is_negative
1749 0:0
1750 1:0
1751 -1:1
1752 -123:1
1753 NaN:0
1754 -inf:1
1755 +inf:0
1756 &parts
1757 0:0 1
1758 1:1 0
1759 123:123 0
1760 -123:-123 0
1761 -1200:-12 2
1762 NaNparts:NaN NaN
1763 +inf:inf inf
1764 -inf:-inf inf
1765 &exponent
1766 0:1
1767 1:0
1768 123:0
1769 -123:0
1770 -1200:2
1771 +inf:inf
1772 -inf:inf
1773 NaNexponent:NaN
1774 &mantissa
1775 0:0
1776 1:1
1777 123:123
1778 -123:-123
1779 -1200:-12
1780 +inf:inf
1781 -inf:-inf
1782 NaNmantissa:NaN
1783 &length
1784 123:3
1785 -123:3
1786 0:1
1787 1:1
1788 12345678901234567890:20
1789 &is_zero
1790 NaNzero:0
1791 +inf:0
1792 -inf:0
1793 0:1
1794 -1:0
1795 1:0
1796 &is_one
1797 NaNone:0
1798 +inf:0
1799 -inf:0
1800 0:0
1801 2:0
1802 1:1
1803 -1:0
1804 -2:0
1805 &ffloor
1806 0:0
1807 abc:NaN
1808 +inf:inf
1809 -inf:-inf
1810 1:1
1811 -51:-51
1812 -51.2:-52
1813 12.2:12
1814 0.12345:0
1815 0.123456:0
1816 0.1234567:0
1817 0.12345678:0
1818 0.123456789:0
1819 &fceil
1820 0:0
1821 abc:NaN
1822 +inf:inf
1823 -inf:-inf
1824 1:1
1825 -51:-51
1826 -51.2:-51
1827 12.2:13
1828 &fint
1829 0:0
1830 NaN:NaN
1831 +inf:inf
1832 -inf:-inf
1833 1:1
1834 -51:-51
1835 -51.2:-51
1836 12.2:12