Type Definition typenum::P379

type P379 = PInt<U379>;