follow MulMod_2x_positive() spec