Type Definition typenum::P423

type P423 = PInt<U423>;