Type Definition typenum::P671

type P671 = PInt<U671>;