x86_64: Bignum.so
