Type Definition typenum::P744

type P744 = PInt<U744>;