Nat/to_u32.kind