Type Definition typenum::P723

type P723 = PInt<U723>;