Wishful request for next version: '// 1' should produce integer

[Flyer31 Test <flyer31@...>]

Hi,
if in some furture version integer division // 1 would produce integer
result, this would be very nice.

Now only int // int produces integer, but float // int produces float,
which somehow is a bit "ugly" for the result of an integer division.

(I can of course write math.floor(2.5) instead of 2.5//1, but I
somehow would like the second writing much more...).