Сложили в столбик точно, затем если не влезло чётко 0.5, то есть, .1000… в двоичной системе, однозначно округлили до nearest even, 0, -inf или +inf в зависимости от настроек (а если не влезло 0.4, то округлили в меньшую сторону, не влезло 0.6 — в большую), в итоге потеряли или прибавили не больше, чем 0.5 ULP