将值添加到浮点数然后减去相同的值是否会得到原始数？

Question

假设我有一个浮点数a，然后向其添加另一个浮点数b以获得c。然后我从b中减去c得到d。 IEEE浮点可以保证a == d吗？

换句话说，无论a和b的值如何，以下内容始终返回true吗？

c = a + b
d = c - b
return a == d

（很抱歉，如果以前曾问过这个问题，我不确定这个数学原理叫什么，所以也不确定要搜索什么。）