polymorphic integer types