We require `stdint.h` for `uint32_t`. I don't foresee finding an environment where this is available but not `uint64_t` or `uint128_t` if such sizes exist at all. So I don't see any value in making the type name configurable, only its existence.