> 6) The rules could be changed to avoid promoting integers to doubles,
>    when all operands are integer, and an integer result is sensible
>    (e.g. plus, minus, idiv, multiply)

It is already the case that if all the operands are integers then the result
is an integer.

Michael Kay