Comment by kevinventullo

Also, if you know ahead of time that it’s exact division, there is a similar approach that doesn’t even need widening multiplication!