Type Definition typenum::consts::P423

type P423 = PInt<U423>;