Fixing cyclotomic arithmetic to use karatsuba; also to be correct