Type Definition typenum::consts::P533

type P533 = PInt<U533>;