Type Definition typenum::P515

type P515 = PInt<U515>;