sorry, In my mind the fix was a little bit different, maybe was to declare them as "unsigned long" instead of uint64_t (example)

isn't better my solution? This way the "upper bound" will depend on the architecture