Division vs DIV - Valentin's findings

[EdS2]

Mmm, but... if what we had was a rounding from a 13th digit, wouldn't we see it about half of the time? We see it rarely, and I think we don't believe there is a 13th digit, so there's something about the mechanics of division here which is, I think, a bit surprising.

(These are decimal calculations... division proceeds by shift and subtract? Is there an estimating of the next digit?)