Type Definition typenum::P947

type P947 = PInt<U947>;