Изменения
→Сумма по Кнуту
{{Лемма
|statement=
Пусть $x$ и $y$ {{--- }} величины, возращенные алгоритмом $\mathrm {FastTwoSum}$ или $\mathrm {TwoSum}$. На машине с округлением до ближайшего четного $x$ и $y$ {{--- }} несмежные.
}}
</wikitex>
