Type Definition typenum::consts::P677

type P677 = PInt<U677>;