Type Definition typenum::P677

type P677 = PInt<U677>;