Предположим, что я выполняю эту операцию:
(X / const) * const
с аргументами с двойной точностью, как определено IEEE 754-2008
, сначала деление, затем умножение.
const
находится в диапазоне 0 < ABS(const) < 1
.
Предполагая, что операция завершается успешно (не происходит переполнения), представляют собой различные аргументы X
для этой операции, гарантирующие возврат отдельных результатов?
Другими словами, существуют ли X1
, X2
и 0 < ABS(const) < 1
так, что X1 <> X2
, но (X1 / const) * const = (X2 / const) * const
?