added multiply BigInteger and int ICTs