a / b also for integers? a div b, a mod b also for reals ?

[phlegmaticprogrammer]

What should 3 / 4 result in? Probably the same as 3.0 / 4.0 . What should 6 / 3 result in? 2 or 6.0/2.0 ? Should 3 / 4.2 be allowed ? But what does that mean fo 3 * 4.2 ?

Euclidean divison is also definable for reals, should be provided in a future version.