Type Definition typenum::consts::P787

type P787 = PInt<U787>;