Type Definition typenum::P527

type P527 = PInt<U527>;