I am working on a project that relies on the standard C datatype uint64_t to multiply 32 bit integers. But I am concerned about portability issues, as I am alre
uint64_t