Updating: handling integers in stdint.