Type Definition typenum::P792

type P792 = PInt<U792>;