Type Definition typenum::P877

type P877 = PInt<U877>;