64位无符号整数：int(x/float(y))与x//y的正确性差异对比

存在明显的正确性差异，核心原因是Python中float类型的精度限制：

• 双精度浮点数（即Python的float）的有效精确位数仅为53位，而64位无符号整数的取值范围是0到2^64 - 1，远超出浮点数的精确表示范围。当x或x//y的结果大于2^53时，浮点数无法精确存储这些整数值，会发生精度丢失。
• 举具体场景：当x = 2^53 + 1，y = 1时，x // y的正确结果是2^53 + 1，但float(x)会因精度限制被近似为2^53，最终int(x / float(y))返回2^53，与正确结果不符。
• 再比如x = 2^64 - 1（64位无符号整数的最大值），y = 2，x // y的正确结果是9223372036854775807，但float(x)会被近似为2^64，除以2后得到2^63（即9223372036854775808），与正确结果相差1。

综上，int_divide函数的实现无法完全等价于x // y，在处理超出浮点数精确范围的64位无符号整数时会出现错误。

内容的提问来源于stack exchange，提问作者petabyte