Type Definition typenum::P502

type P502 = PInt<U502>;