Type Definition typenum::P751

type P751 = PInt<U751>;