[解决方案健全性问题] Float32 FP/Real 往返算术中的 SAT 结果不正确。