Now that int is subclassable, have to change a test that tests for

non-subclassability.  (More tests for number subclassing should follow.)