some carry fixes; simplifiying statement of addmul/mul
minor reporting changes