See section 7 of http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf (As an aside nearly every language defines

See section 7 of http://www.cs.cmu.edu/~15122/handouts/02-ints.pdf 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)