Type Definition typenum::P392

type P392 = PInt<U392>;