Type Definition typenum::P673

type P673 = PInt<U673>;