[][src]Type Definition typenum::N402

type N402 = NInt<U402>;