[][src]Type Definition typenum::P428

type P428 = PInt<U428>;