#6 added 'permitVariableEncoding' attribute to the PositiveIntEncoder, added tests