Type Definition typenum::P732

type P732 = PInt<U732>;