算法 约简 浮点存储格式 规格化 下溢 浮点数 浮点格式 推荐标准 浮点运算 单精度运算