Type Definition typenum::P87

type P87 = PInt<U87>;