Type Definition typenum::P672

type P672 = PInt<U672>;