Make int more subclass-friendly