Type Definition typenum::P86

type P86 = PInt<U86>;