Type Definition typenum::N434

type N434 = NInt<U434>;