Type Definition typenum::P731

type P731 = PInt<U731>;