def Int.div

import bend-kit-int@0.2.0.0/int.bend as Int

import Base

160def Int.div(+n: Nat, s: Bool, a: Word(n), b: Word(n)) -> Word(n):
161  Int.fst(n, Int.divmod(n, s, a, b))

Uses (5)