mul: testing 64-bit showed a mistake for odd values of c_parts