Added BigInt product (lots of BigInt operations still missing)