Type Definition typenum::P307

type P307 = PInt<U307>;