Karatsuba & aux functions depured.