起因是看了一个视频关于由远视距导致的Z-fighting及其解决方案，于是想着具体推导一下。

暂时不考虑符号位和$E$的偏移（因为无关），在 IEEE 754 标准中，一个规格化浮点数表示为：

$$ 1.\text{Mantissa} \times 2^E $$

其中的Mantissa（尾数）部分可以理解为用一个23位（单精度浮点数的尾数位数是23位）的二进制数$m$均匀映射到一个$[0, 1)$

开始之前

一个问题引入：如何确定一个随机事件发生的概率

频率学派认为可以利用大数定理，重复进行无数次随机试验，用最终得到的稳定频率来估计概率，而这里存在一个问题：随机试验必须可以重复进行，而有一些问题无法重复进行，如明天是否会下雨（因为你无法回到过去重复进行试验）。

贝叶斯学派则提供了另外一种思路：概率不再定义为事件的一种“固定属性”，而是站在观测者的角度，认为概率是一种信念(belief)，表征