Type Definition typenum::P755

type P755 = PInt<U755>;