[][src]Type Definition typenum::N442

type N442 = NInt<U442>;