I prefer that behavior. Integers should behave like integers, if you want the floating point division you should write 2.0/7 . Of course now that we have distinct / and // its less of a problem but then it becomes a problem of which behavior do you expect more often, integer or float.