Division operation jumps to infinite precision

[HeikoBecker]

Currently, dividing two integer numbers is always assigned infinite precision which leads to confusing type errors:

A possible fix would be to use integer type as the default result of such a division operation.

[alexanderpann]

While I agree with the change, we have to implement this with an extension point as an opt-in feature. This is a very breaking change! Changing the type influences the interpreter, and you will get, for example, "0" as a result for the division 1/2 instead of the old result "0.5". This ticket is also a duplicate of https://github.com/IETS3/iets3.opensource/issues/322.