Type Definition typenum::P953

type P953 = PInt<U953>;