1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
|
.\" -*- mode: troff; coding: utf-8 -*-
.\" Automatically generated by Pod::Man 5.01 (Pod::Simple 3.43)
.\"
.\" Standard preamble:
.\" ========================================================================
.de Sp \" Vertical space (when we can't use .PP)
.if t .sp .5v
.if n .sp
..
.de Vb \" Begin verbatim text
.ft CW
.nf
.ne \\$1
..
.de Ve \" End verbatim text
.ft R
.fi
..
.\" \*(C` and \*(C' are quotes in nroff, nothing in troff, for use with C<>.
.ie n \{\
. ds C` ""
. ds C' ""
'br\}
.el\{\
. ds C`
. ds C'
'br\}
.\"
.\" Escape single quotes in literal strings from groff's Unicode transform.
.ie \n(.g .ds Aq \(aq
.el .ds Aq '
.\"
.\" If the F register is >0, we'll generate index entries on stderr for
.\" titles (.TH), headers (.SH), subsections (.SS), items (.Ip), and index
.\" entries marked with X<> in POD. Of course, you'll have to process the
.\" output yourself in some meaningful fashion.
.\"
.\" Avoid warning from groff about undefined register 'F'.
.de IX
..
.nr rF 0
.if \n(.g .if rF .nr rF 1
.if (\n(rF:(\n(.g==0)) \{\
. if \nF \{\
. de IX
. tm Index:\\$1\t\\n%\t"\\$2"
..
. if !\nF==2 \{\
. nr % 0
. nr F 2
. \}
. \}
.\}
.rr rF
.\" ========================================================================
.\"
.IX Title "bigint 3perl"
.TH bigint 3perl 2024-05-30 "perl v5.38.2" "Perl Programmers Reference Guide"
.\" For nroff, turn off justification. Always turn off hyphenation; it makes
.\" way too many mistakes in technical documents.
.if n .ad l
.nh
.SH NAME
bigint \- transparent big integer support for Perl
.SH SYNOPSIS
.IX Header "SYNOPSIS"
.Vb 1
\& use bigint;
\&
\& $x = 2 + 4.5; # Math::BigInt 6
\& print 2 ** 512; # Math::BigInt 134...096
\& print inf + 42; # Math::BigInt inf
\& print NaN * 7; # Math::BigInt NaN
\& print hex("0x1234567890123490"); # Perl v5.10.0 or later
\&
\& {
\& no bigint;
\& print 2 ** 256; # a normal Perl scalar now
\& }
\&
\& # for older Perls, import into current package:
\& use bigint qw/hex oct/;
\& print hex("0x1234567890123490");
\& print oct("01234567890123490");
.Ve
.SH DESCRIPTION
.IX Header "DESCRIPTION"
All numeric literal in the given scope are converted to Math::BigInt objects.
Numeric literal that represent non-integers are truncated to an integer. All
results of expressions are also truncated to integer.
.PP
All operators (including basic math operations) except the range operator \f(CW\*(C`..\*(C'\fR
are overloaded.
.PP
Unlike the integer pragma, the \f(CW\*(C`bigint\*(C'\fR pragma creates integers that are
only limited in their size by the available memory.
.PP
So, the following:
.PP
.Vb 2
\& use bigint;
\& $x = 1234;
.Ve
.PP
creates a Math::BigInt and stores a reference to in \f(CW$x\fR. This happens
transparently and behind your back, so to speak.
.PP
You can see this with the following:
.PP
.Vb 1
\& perl \-Mbigint \-le \*(Aqprint ref(1234)\*(Aq
.Ve
.PP
Since numbers are actually objects, you can call all the usual methods from
Math::BigFloat on them. This even works to some extent on expressions:
.PP
.Vb 4
\& perl \-Mbigint \-le \*(Aq$x = 1234; print $x\->bdec()\*(Aq
\& perl \-Mbigint \-le \*(Aqprint 1234\->copy()\->binc();\*(Aq
\& perl \-Mbigint \-le \*(Aqprint 1234\->copy()\->binc\->badd(6);\*(Aq
\& perl \-Mbigint \-le \*(Aqprint +(1234)\->copy()\->binc()\*(Aq
.Ve
.PP
(Note that print doesn't do what you expect if the expression starts with
\&'(' hence the \f(CW\*(C`+\*(C'\fR)
.PP
You can even chain the operations together as usual:
.PP
.Vb 2
\& perl \-Mbigint \-le \*(Aqprint 1234\->copy()\->binc\->badd(6);\*(Aq
\& 1241
.Ve
.PP
Please note the following does not work as expected (prints nothing), since
overloading of '..' is not yet possible in Perl (as of v5.8.0):
.PP
.Vb 1
\& perl \-Mbigint \-le \*(Aqfor (1..2) { print ref($_); }\*(Aq
.Ve
.SS "use integer vs. use bigint"
.IX Subsection "use integer vs. use bigint"
There are some difference between \f(CW\*(C`use integer\*(C'\fR and \f(CW\*(C`use bigint\*(C'\fR.
.PP
Whereas \f(CW\*(C`use integer\*(C'\fR is limited to what can be handled as a Perl scalar, \f(CW\*(C`use
bigint\*(C'\fR can handle arbitrarily large integers.
.PP
Also, \f(CW\*(C`use integer\*(C'\fR does affect assignments to variables and the return value
of some functions. \f(CW\*(C`use bigint\*(C'\fR truncates these results to integer:
.PP
.Vb 8
\& # perl \-Minteger \-wle \*(Aqprint 3.2\*(Aq
\& 3.2
\& # perl \-Minteger \-wle \*(Aqprint 3.2 + 0\*(Aq
\& 3
\& # perl \-Mbigint \-wle \*(Aqprint 3.2\*(Aq
\& 3
\& # perl \-Mbigint \-wle \*(Aqprint 3.2 + 0\*(Aq
\& 3
\&
\& # perl \-Mbigint \-wle \*(Aqprint exp(1) + 0\*(Aq
\& 2
\& # perl \-Mbigint \-wle \*(Aqprint exp(1)\*(Aq
\& 2
\& # perl \-Minteger \-wle \*(Aqprint exp(1)\*(Aq
\& 2.71828182845905
\& # perl \-Minteger \-wle \*(Aqprint exp(1) + 0\*(Aq
\& 2
.Ve
.PP
In practice this seldom makes a difference for small integers as \fBparts and
results\fR of expressions are truncated anyway, but this can, for instance, affect
the return value of subroutines:
.PP
.Vb 2
\& sub three_integer { use integer; return 3.2; }
\& sub three_bigint { use bigint; return 3.2; }
\&
\& print three_integer(), " ", three_bigint(),"\en"; # prints "3.2 3"
.Ve
.SS Options
.IX Subsection "Options"
\&\f(CW\*(C`bigint\*(C'\fR recognizes some options that can be passed while loading it via
\&\f(CW\*(C`use\*(C'\fR. The following options exist:
.IP "a or accuracy" 4
.IX Item "a or accuracy"
This sets the accuracy for all math operations. The argument must be greater
than or equal to zero. See Math::BigInt's \fBbround()\fR method for details.
.Sp
.Vb 1
\& perl \-Mbigint=a,2 \-le \*(Aqprint 12345+1\*(Aq
.Ve
.Sp
Note that setting precision and accuracy at the same time is not possible.
.IP "p or precision" 4
.IX Item "p or precision"
This sets the precision for all math operations. The argument can be any
integer. Negative values mean a fixed number of digits after the dot, and are
ignored since all operations happen in integer space. A positive value rounds to
this digit left from the dot. 0 means round to integer. See Math::BigInt's
\&\fBbfround()\fR method for details.
.Sp
.Vb 1
\& perl \-mbigint=p,5 \-le \*(Aqprint 123456789+123\*(Aq
.Ve
.Sp
Note that setting precision and accuracy at the same time is not possible.
.IP "t or trace" 4
.IX Item "t or trace"
This enables a trace mode and is primarily for debugging.
.IP "l, lib, try, or only" 4
.IX Item "l, lib, try, or only"
Load a different math lib, see "Math Library".
.Sp
.Vb 4
\& perl \-Mbigint=l,GMP \-e \*(Aqprint 2 ** 512\*(Aq
\& perl \-Mbigint=lib,GMP \-e \*(Aqprint 2 ** 512\*(Aq
\& perl \-Mbigint=try,GMP \-e \*(Aqprint 2 ** 512\*(Aq
\& perl \-Mbigint=only,GMP \-e \*(Aqprint 2 ** 512\*(Aq
.Ve
.IP hex 4
.IX Item "hex"
Override the built-in \fBhex()\fR method with a version that can handle big numbers.
This overrides it by exporting it to the current package. Under Perl v5.10.0 and
higher, this is not necessary, as \fBhex()\fR is lexically overridden in the current
scope whenever the \f(CW\*(C`bigint\*(C'\fR pragma is active.
.IP oct 4
.IX Item "oct"
Override the built-in \fBoct()\fR method with a version that can handle big numbers.
This overrides it by exporting it to the current package. Under Perl v5.10.0 and
higher, this is not so necessary, as \fBoct()\fR is lexically overridden in the
current scope whenever the \f(CW\*(C`bigint\*(C'\fR pragma is active.
.IP "v or version" 4
.IX Item "v or version"
this prints out the name and version of the modules and then exits.
.Sp
.Vb 1
\& perl \-Mbigint=v
.Ve
.SS "Math Library"
.IX Subsection "Math Library"
Math with the numbers is done (by default) by a backend library module called
Math::BigInt::Calc. The default is equivalent to saying:
.PP
.Vb 1
\& use bigint lib => \*(AqCalc\*(Aq;
.Ve
.PP
you can change this by using:
.PP
.Vb 1
\& use bigint lib => \*(AqGMP\*(Aq;
.Ve
.PP
The following would first try to find Math::BigInt::Foo, then Math::BigInt::Bar,
and if this also fails, revert to Math::BigInt::Calc:
.PP
.Vb 1
\& use bigint lib => \*(AqFoo,Math::BigInt::Bar\*(Aq;
.Ve
.PP
Using c<lib> warns if none of the specified libraries can be found and
Math::BigInt fell back to one of the default libraries. To suppress this
warning, use c<try> instead:
.PP
.Vb 1
\& use bigint try => \*(AqGMP\*(Aq;
.Ve
.PP
If you want the code to die instead of falling back, use \f(CW\*(C`only\*(C'\fR instead:
.PP
.Vb 1
\& use bigint only => \*(AqGMP\*(Aq;
.Ve
.PP
Please see the respective module documentation for further details.
.SS "Method calls"
.IX Subsection "Method calls"
Since all numbers are now objects, you can use all methods that are part of the
Math::BigInt API.
.PP
But a warning is in order. When using the following to make a copy of a number,
only a shallow copy will be made.
.PP
.Vb 2
\& $x = 9; $y = $x;
\& $x = $y = 7;
.Ve
.PP
Using the copy or the original with overloaded math is okay, e.g., the following
work:
.PP
.Vb 2
\& $x = 9; $y = $x;
\& print $x + 1, " ", $y,"\en"; # prints 10 9
.Ve
.PP
but calling any method that modifies the number directly will result in \fBboth\fR
the original and the copy being destroyed:
.PP
.Vb 2
\& $x = 9; $y = $x;
\& print $x\->badd(1), " ", $y,"\en"; # prints 10 10
\&
\& $x = 9; $y = $x;
\& print $x\->binc(1), " ", $y,"\en"; # prints 10 10
\&
\& $x = 9; $y = $x;
\& print $x\->bmul(2), " ", $y,"\en"; # prints 18 18
.Ve
.PP
Using methods that do not modify, but test that the contents works:
.PP
.Vb 2
\& $x = 9; $y = $x;
\& $z = 9 if $x\->is_zero(); # works fine
.Ve
.PP
See the documentation about the copy constructor and \f(CW\*(C`=\*(C'\fR in overload, as well
as the documentation in Math::BigInt for further details.
.SS Methods
.IX Subsection "Methods"
.IP \fBinf()\fR 4
.IX Item "inf()"
A shortcut to return Math::BigInt\->\fBbinf()\fR. Useful because Perl does not always
handle bareword \f(CW\*(C`inf\*(C'\fR properly.
.IP \fBNaN()\fR 4
.IX Item "NaN()"
A shortcut to return Math::BigInt\->\fBbnan()\fR. Useful because Perl does not always
handle bareword \f(CW\*(C`NaN\*(C'\fR properly.
.IP e 4
.IX Item "e"
.Vb 1
\& # perl \-Mbigint=e \-wle \*(Aqprint e\*(Aq
.Ve
.Sp
Returns Euler's number \f(CW\*(C`e\*(C'\fR, aka \fBexp\fR\|(1). Note that under \f(CW\*(C`bigint\*(C'\fR, this is
truncated to an integer, i.e., 2.
.IP PI 4
.IX Item "PI"
.Vb 1
\& # perl \-Mbigint=PI \-wle \*(Aqprint PI\*(Aq
.Ve
.Sp
Returns PI. Note that under \f(CW\*(C`bigint\*(C'\fR, this is truncated to an integer, i.e., 3.
.IP \fBbexp()\fR 4
.IX Item "bexp()"
.Vb 1
\& bexp($power, $accuracy);
.Ve
.Sp
Returns Euler's number \f(CW\*(C`e\*(C'\fR raised to the appropriate power, to the wanted
accuracy.
.Sp
Note that under \f(CW\*(C`bigint\*(C'\fR, the result is truncated to an integer.
.Sp
Example:
.Sp
.Vb 1
\& # perl \-Mbigint=bexp \-wle \*(Aqprint bexp(1,80)\*(Aq
.Ve
.IP \fBbpi()\fR 4
.IX Item "bpi()"
.Vb 1
\& bpi($accuracy);
.Ve
.Sp
Returns PI to the wanted accuracy. Note that under \f(CW\*(C`bigint\*(C'\fR, this is truncated
to an integer, i.e., 3.
.Sp
Example:
.Sp
.Vb 1
\& # perl \-Mbigint=bpi \-wle \*(Aqprint bpi(80)\*(Aq
.Ve
.IP \fBaccuracy()\fR 4
.IX Item "accuracy()"
Set or get the accuracy.
.IP \fBprecision()\fR 4
.IX Item "precision()"
Set or get the precision.
.IP \fBround_mode()\fR 4
.IX Item "round_mode()"
Set or get the rounding mode.
.IP \fBdiv_scale()\fR 4
.IX Item "div_scale()"
Set or get the division scale.
.IP \fBin_effect()\fR 4
.IX Item "in_effect()"
.Vb 1
\& use bigint;
\&
\& print "in effect\en" if bigint::in_effect; # true
\& {
\& no bigint;
\& print "in effect\en" if bigint::in_effect; # false
\& }
.Ve
.Sp
Returns true or false if \f(CW\*(C`bigint\*(C'\fR is in effect in the current scope.
.Sp
This method only works on Perl v5.9.4 or later.
.SH CAVEATS
.IX Header "CAVEATS"
.IP "Hexadecimal, octal, and binary floating point literals" 4
.IX Item "Hexadecimal, octal, and binary floating point literals"
Perl (and this module) accepts hexadecimal, octal, and binary floating point
literals, but use them with care with Perl versions before v5.32.0, because some
versions of Perl silently give the wrong result.
.IP "Operator vs literal overloading" 4
.IX Item "Operator vs literal overloading"
\&\f(CW\*(C`bigint\*(C'\fR works by overloading handling of integer and floating point literals,
converting them to Math::BigInt objects.
.Sp
This means that arithmetic involving only string values or string literals are
performed using Perl's built-in operators.
.Sp
For example:
.Sp
.Vb 4
\& use bigint;
\& my $x = "900000000000000009";
\& my $y = "900000000000000007";
\& print $x \- $y;
.Ve
.Sp
outputs \f(CW0\fR on default 32\-bit builds, since \f(CW\*(C`bigint\*(C'\fR never sees the string
literals. To ensure the expression is all treated as \f(CW\*(C`Math::BigInt\*(C'\fR objects,
use a literal number in the expression:
.Sp
.Vb 1
\& print +(0+$x) \- $y;
.Ve
.IP Ranges 4
.IX Item "Ranges"
Perl does not allow overloading of ranges, so you can neither safely use ranges
with \f(CW\*(C`bigint\*(C'\fR endpoints, nor is the iterator variable a \f(CW\*(C`Math::BigInt\*(C'\fR.
.Sp
.Vb 7
\& use 5.010;
\& for my $i (12..13) {
\& for my $j (20..21) {
\& say $i ** $j; # produces a floating\-point number,
\& # not an object
\& }
\& }
.Ve
.IP \fBin_effect()\fR 4
.IX Item "in_effect()"
This method only works on Perl v5.9.4 or later.
.IP \fBhex()\fR/\fBoct()\fR 4
.IX Item "hex()/oct()"
\&\f(CW\*(C`bigint\*(C'\fR overrides these routines with versions that can also handle big
integer values. Under Perl prior to version v5.9.4, however, this will not
happen unless you specifically ask for it with the two import tags "hex" and
"oct" \- and then it will be global and cannot be disabled inside a scope with
\&\f(CW\*(C`no bigint\*(C'\fR:
.Sp
.Vb 1
\& use bigint qw/hex oct/;
\&
\& print hex("0x1234567890123456");
\& {
\& no bigint;
\& print hex("0x1234567890123456");
\& }
.Ve
.Sp
The second call to \fBhex()\fR will warn about a non-portable constant.
.Sp
Compare this to:
.Sp
.Vb 1
\& use bigint;
\&
\& # will warn only under Perl older than v5.9.4
\& print hex("0x1234567890123456");
.Ve
.SH EXAMPLES
.IX Header "EXAMPLES"
Some cool command line examples to impress the Python crowd ;) You might want
to compare them to the results under \-Mbigfloat or \-Mbigrat:
.PP
.Vb 5
\& perl \-Mbigint \-le \*(Aqprint sqrt(33)\*(Aq
\& perl \-Mbigint \-le \*(Aqprint 2**255\*(Aq
\& perl \-Mbigint \-le \*(Aqprint 4.5+2**255\*(Aq
\& perl \-Mbigint \-le \*(Aqprint 123\->is_odd()\*(Aq
\& perl \-Mbigint=l,GMP \-le \*(Aqprint 7 ** 7777\*(Aq
.Ve
.SH BUGS
.IX Header "BUGS"
Please report any bugs or feature requests to
\&\f(CW\*(C`bug\-bignum at rt.cpan.org\*(C'\fR, or through the web interface at
<https://rt.cpan.org/Ticket/Create.html?Queue=bignum> (requires login).
We will be notified, and then you'll automatically be notified of
progress on your bug as I make changes.
.SH SUPPORT
.IX Header "SUPPORT"
You can find documentation for this module with the perldoc command.
.PP
.Vb 1
\& perldoc bigint
.Ve
.PP
You can also look for information at:
.IP \(bu 4
GitHub
.Sp
<https://github.com/pjacklam/p5\-bignum>
.IP \(bu 4
RT: CPAN's request tracker
.Sp
<https://rt.cpan.org/Dist/Display.html?Name=bignum>
.IP \(bu 4
MetaCPAN
.Sp
<https://metacpan.org/release/bignum>
.IP \(bu 4
CPAN Testers Matrix
.Sp
<http://matrix.cpantesters.org/?dist=bignum>
.IP \(bu 4
CPAN Ratings
.Sp
<https://cpanratings.perl.org/dist/bignum>
.SH LICENSE
.IX Header "LICENSE"
This program is free software; you may redistribute it and/or modify it under
the same terms as Perl itself.
.SH "SEE ALSO"
.IX Header "SEE ALSO"
bignum and bigrat.
.PP
Math::BigInt, Math::BigFloat, Math::BigRat and Math::Big as well as
Math::BigInt::FastCalc, Math::BigInt::Pari and Math::BigInt::GMP.
.SH AUTHORS
.IX Header "AUTHORS"
.IP \(bu 4
(C) by Tels <http://bloodgate.com/> in early 2002 \- 2007.
.IP \(bu 4
Maintained by Peter John Acklam <pjacklam@gmail.com>, 2014\-.
|