Added encoder and test for 32-bit positive Integer