Mult-prec long division proof fix