Yes, I think so as well. The comment on the following proc:
# This doesn't work when a = b
proc multiplication(a: var BigInt, b, c: BigInt)
Run
is a pointer, I guess. It is called by:
`*` *(a, b: BigInt): BigInt =
result = zero
multiplication(result, a, b)
Run
which is used inside the foldl template.
