Type Definition typenum::P177

type P177 = PInt<U177>;