Type Definition typenum::P77

type P77 = PInt<U77>;