PyInt_Check() succeeds.  That returns true for subtypes of int, which
may override __add__ or __sub__.