待验证50% 置信事实精确时间
IEEE 754 双精度浮点数(float64)只能精确表示分母为 2 的幂的分数,0.1、0.2 这类十进制小数在二进制下是无限循环小数,存储时必然被截断。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证按 token 计费时,金额不应用浮点数表示,因为 float64 在二进制下无法精确表示十进制小数,误差会在数百万行数据上累积放大;作者采用 Postgres NUMERIC、热路径整数微单位,并显式决定舍入层级。74% 相似待验证IEEE 754 标准规定了五种舍入模式:最近偶数舍入、向零舍入、向正无穷舍入、向负无穷舍入、最近远离零舍入73% 相似已验证浮点数加法不满足结合律,(a+b)+c 与 a+(b+c) 在浮点精度下可能得到不同的结果68% 相似待验证由于IEEE 754浮点数精度限制,直接使用EXPECT_EQ进行浮点比较几乎必然导致虚假失败,应使用EXPECT_NEAR指定容差68% 相似待验证分离结果推广到带权重的固定计数目标,只要权重比有界、配额比例远离0和1,即使没有排列对称性分离依然成立65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1025410API
curl https://kongchang.com/api/v1/knowledge/claims/1025410MCP
get_claim(id=1025410)