Discuss whether class numers are always fixnums.