Multiplication 是否有不支持uint64\t的平台？

我正在从事一个依赖于标准C数据类型uint64\u t乘以32位整数的项目。但我担心可移植性问题，因为出于可移植性的原因，我已经在

C

中重新实现了源代码的许多部分。我意识到很难提供详尽的列表，但由于缺乏可用的硬件资源，我只知道我的系统（PC（Windows，x86）/基于ARM的Android手机等）的规格。我的目标项目需要在各种平台上运行，如Arduino、嵌入式系统等。我想知道是否应该用两个变量替换，

uint64\u t

，以存储我的64位数字的高位和低位

很抱歉，这个直接的问题。但我打算开始详细讨论如何在固定时间内更快地实现乘法

非常感谢