We always use exact-width integer types.