Type Definition typenum::P971

type P971 = PInt<U971>;