[][src]Type Definition typenum::N417

type N417 = NInt<U417>;