Type Definition typenum::P676

type P676 = PInt<U676>;