Multiply by 0.5 would be slower, as it's a floating point operation rather than simple arithmetic.