Better type support with <stdint.h>