Dividing two Int’s returns another Int. This behavior is the same as in Java and I find it to be very dangerous and un-intuitive.  For example: The expression 5/2 evaluates to 2 instead of the correct value of 2.5  To get the correct value, the user must first parse one of the Int’s to Double like this:  5/2.toDouble()  This behavior of silent rounding is almost never wanted and can be quite hard to debug since 5/2 is mathematically correct.  I propose a change of Int.div(Int):Int to Int.div(Int...