------------------------------------------------------------------------
## divmod
Function
x y divmod
------------------
q r
(x/y) (x%y)
Invariant: `qy + r = x`.
### Definition
> \[[floordiv]\] \[[mod]\] [clop]