More work on IntClasses