Type Definition typenum::P507

type P507 = PInt<U507>;