Nat/to_base.kind