Fix bug in Karatsuba multiplication, which affected propagation of a