Type Definition typenum::P886

type P886 = PInt<U886>;