Type Definition typenum::P518

type P518 = PInt<U518>;