sencode: add integer size limits