apd is an arbitrary-precision decimal package for Go.
apd
implements much of the decimal specification from the General Decimal Arithmetic description. This is the same specification implemented by python’s decimal module and GCC’s decimal extension.
- Panic-free operation. The
math/big
types don’t return errors, and instead panic under some conditions that are documented. This requires users to validate the inputs before using them. Meanwhile, we’d like our decimal operations to have more failure modes and more input requirements than themath/big
types, so using that API would be difficult.apd
instead returns errors when needed. - Support for standard functions.
sqrt
,ln
,pow
, etc. - Accurate and configurable precision. Operations will use enough internal precision to produce a correct result at the requested precision. Precision is set by a "context" structure that accompanies the function arguments, as discussed in the next section.
- Good performance. Operations will either be fast enough or will produce an error if they will be slow. This prevents edge-case operations from consuming lots of CPU or memory.
- Condition flags and traps. All operations will report whether their result is exact, is rounded, is over- or under-flowed, is subnormal, or is some other condition.
apd
supports traps which will trigger an error on any of these conditions. This makes it possible to guarantee exactness in computations, if needed.
apd
has three main types.
The first is BigInt
which is a wrapper around big.Int
that exposes an identical API while reducing memory allocations. BigInt
does so by using an inline array to back the big.Int
's variable-length value when the integer's absolute value is sufficiently small. BigInt
also contains fast-paths that allow it to perform basic arithmetic directly on this inline array, only falling back to big.Int
when the arithmetic gets complex or takes place on large values.
The second is Decimal
which holds the values of decimals. It is simple and uses a BigInt
with an exponent to describe values. Most operations on Decimal
s can’t produce errors as they work directly on the underlying big.Int
. Notably, however, there are no arithmetic operations on Decimal
s.
The third main type is Context
, which is where all arithmetic operations are defined. A Context
describes the precision, range, and some other restrictions during operations. These operations can all produce failures, and so return errors.
Context
operations, in addition to errors, return a Condition
, which is a bitfield of flags that occurred during an operation. These include overflow, underflow, inexact, rounded, and others. The Traps
field of a Context
can be set which will produce an error if the corresponding flag occurs. An example of this is given below.
See the examples for some operations that were previously difficult to perform in Go.