Nat/div_mod.kind