Python export of division operators may be improved

[codemanyak]

The Python export from Structorizer aims at Python 3. But in contrast to Python 2, the division operator "/" has no longer the adaptive behaviour like in C or Java (and Structorizer). Instead it forces always floating-point division. In order to do an integer division, the operator symbol "//" must be used instead. Unfortunately the static type inference chances are rather poor on Structorizer code export, so in general we won't be able to clarify whether the operands of a division are integral or not. There are some exceptions, though, at least:

• if the element text uses a div operator (the Pascal integer division operator);
• if both operands are integer literals or can be inferred to be integer values.

[codemanyak]

Partially fixed (for the explicit use of div operators).

[codemanyak]

Will be accomplished together with #800.