Type Definition typenum::P377

type P377 = PInt<U377>;