IEEE Std 754 Floating-Point: пусть t := a - b, гарантирует ли стандарт, что a == b + t?

Предположим, что t, a, bявляются двойными (IEEE Std 754) переменными, и оба значения a, bНЕ являются NaN(но могут быть Inf). После t = a - bобязательно ли a == b + t?