U64/from_nat.kind