Type Definition typenum::P538

type P538 = PInt<U538>;