Type Definition typenum::P917

type P917 = PInt<U917>;