fix utf16 code and introduce Integer128 type