@RosaCtrl `x / 2` is often clearer in purpose, but if x is already a float, or if the result is expected to be a float, I might prefer `x * 0.5` ... but more likely in that case I'd write `x / 2.0`.