Use data types from stdint for integer values