fix CI: bignum not needed (yet)