This paper proposes sufficient, yet more general conditions for applying FastTwoSum as an error-free transformation (EFT) under all faithful rounding modes. Additionally, it also identifies guarantees tailored to round-to-odd for establishing FastTwoSum as an EFT. This paper also describes a floating-point splitting tailored for round-to-odd that is an EFT where the distribution of bits is configurable (i.e., ExtractScalar for round-to-odd). Our sufficient conditions are more general than those previously known in the literature (i.e., it applies to a wider operand domain).

翻译：本文提出了在全部忠实舍入模式下，将FastTwoSum作为无误差变换（EFT）应用的充分且更为一般的条件。此外，论文还识别了针对向奇舍入的特定保障，以确立FastTwoSum作为EFT。本文还描述了一种针对向奇舍入定制的浮点数拆分方法，该方法是一种位数分布可配置的EFT（即面向向奇舍入的ExtractScalar）。我们提出的充分条件比现有文献中的条件更为一般（即适用于更宽的操作数范围）。