Introduce implementation of big int times big int