add a new operator "//" for integer division just like python?

[charlesw1234]

there are many integer division in game script, add warning_ignore("integer_division") should be a trouble for us.
can we add a new operator "//" for integer division just like python?

I can try to provide a patch for this if required.

[Calinou]

Thanks for the proposal! Consolidating in #11998.