The text 0f25aa9b4c3a, as Debian 9 (Stretch) shipped it.
Operation on arbitrary-precision numbers.
Num(3o) on Linux now
