This paper gives a very useful treatment of integer division and clarifies the bits you're finding confusing. https://www.microsoft.com/en-us/research/publication/divisio...