Type Definition typenum::P939

type P939 = PInt<U939>;