Type Definition typenum::P434

type P434 = PInt<U434>;