How about we just leave it alone.  AFAICT nothing is broken -- no user is having any issues.  We really don't need to go through every tool in the standard library that uses int() and document that it accepts any type that defines __int__, nor do we need to test those cases.  I understand that you are bugged by this but it isn't a real problem.