We define a div b=⌊a/b⌋ and mod how you would expect. That's it. There's also quot and rem where rem can be negative.