Type Definition typenum::P508

type P508 = PInt<U508>;