3 posts to markdown
Mult-prec long division proof fix