Fix integer division

[Quaqqer]

Currently integer division does not work as hoped. In python -1 // 2 == -1 which is what I would expect, but currently in saft it evaluates to 0. It should behave like it does in python (except that it should always return integer values, in python it returns floats sometimes).