Restored setter of article number as int, and made it deprecated