Type Definition typenum::P530

type P530 = PInt<U530>;