It seems that there should be AbstractInt

Or an explanation should be provided.