Merge "Add addWrite32() for encoding integers" into main