imo, this is safe area for arm32 long long int and for arm64 long int.
I agree that right way is cast to uintmax_t, but we talking about debug only code and line length is also important. (this mean that i prefer proposed code but i have no strict objection to add uintmax_t cast, even if this breaks code readability a bit..