support for various 32-bit integer types when calling hi_atomic_add32 on x86 from C++