Type Definition typenum::P431

type P431 = PInt<U431>;