#root::numeric::Nat

div_rem root/numeric/Nat/div_rem.vi

fn div_rem(a: Nat, d: Nat) -> (Nat, Nat);