In this specific example, they do produce exactly the same result: `a / b` is completely equivalent to `a * (1 / b)` when both b and 1/b are perfectly represen

In this specific example, they do produce exactly the same result: `a / b` is completely equivalent to `a * (1 / b)` when both b and 1/b are perfectly representable in floating point without rounding, which is the case for 2 and 0.5