IntegerEncoded UTF-8 codepoints

The encoding was changed from byte-based to integer-based. Encoded integers are written to file bit-wise.