浮点加减法的模拟验证