Python中random.uniform(0,1)能否生成0.0？IEEE754精度疑问

这个问题困扰我很久了，我翻了Stack Overflow几年前的相关帖子，想梳理清楚讨论里的疑点，核心问题是：
排除random.uniform(0,0)这种特殊情况（此时输出0.0），当范围大于0时，random.uniform(0,1)到底能不能输出0.0？

我研究过Python里这个函数用到的IEEE 754双精度浮点数标准，但还是没法证明当x≠y且x、y≠0时，random.uniform(x,y)不会输出0。这又引出另一个疑问：为啥IEEE 754标准只会把0舍入成0，而不是别的数值？我个人倾向于认为random.uniform(0,1)生成不了0.0，但需要确切的验证。

我试过用浮点数转换工具验证数值，但没得到有效结果；做循环测试时，结果大多趋近于1，用相关数值去验证还出现了异常。

之前看Stack Overflow的旧帖，里面有回复说random.uniform(0., 5e-324)有时候输出0.0，有时候输出5e-324，甚至在VS Code调试器的循环里出现过无穷大值。这让我又产生疑问：Python的uniform函数真的能处理324位精度吗？毕竟整数范围只能生成大概16位精度的结果。

现在正式问：random.uniform(0,1)到底能不能生成0.0？如果有人在其他语言里做过相关实验或研究，欢迎分享思路和结果。（后续可能补充测试或完善问题描述）

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