See section 7 of http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf

(As an aside nearly every language defines division on the set of integers this way so it’s not even like we’re making this up)