Type Definition typenum::P789

type P789 = PInt<U789>;