With IEEE-754, 0 < const < 1, is (x / const) * const guaranteed to return distinct results for distinct values of X?
With IEEE-754, 0 < ABS(const) < 1, is (x / const) * const guaranteed to return distinct results for distinct values of X?