mul_full: scalar case is already handled