On the definition of unit roundoff
The authors consider the general problem of best approximating a real number with elements from a given finite set of numbers. In this context they identify a special rounding rule for floating point arithmetic, which minimizes the error with respect to the computed result.
scientific article; zbMATH DE number 6582322