gotcha: with bignum at hand, logand needed