Type Definition typenum::P787

type P787 = PInt<U787>;