cpp/concepts/signed integral

The concept is satisfied if and only if  is an integral type and  is.