#5 polished and added javadocs to PositiveIntEncoder