Type Definition typenum::consts::P774

type P774 = PInt<U774>;