RootCauseunvalidated
If the exact value `1.25` could be represented as either `1.2` or `1.3`, this would break the tie between `1.2` and `1.3` — If there are several such representations, the representation with the smallest difference from the floating-point argument value is chosen. Tension: resolving any remaining ties using rounding according to `round_to_nearest`. Outcome: The former is chosen because `2` is even.
0224185c-be23-4124-a329-15f4ace81cc9
If the exact value 1.25 could be represented as either 1.2 or 1.3, this would break the tie between 1.2 and 1.3 — If there are several such representations, the representation with the smallest difference from the floating-point argument value is chosen. Tension: resolving any remaining ties using rounding according to round_to_nearest. Outcome: The former is chosen because 2 is even.