[][src]Type Definition typenum::N423

type N423 = NInt<U423>;