Type Definition typenum::P788

type P788 = PInt<U788>;