added divide(BigInteger) and (int) ICTs