karatsuba for bigint multiplication; move helpers to bottom