[expressions] Make int/int return double results

The new default is for int/int = double result, which is much more predictable for users from a non-programming background. It also matches the behaviour of ArcGIS, MapInfo, python >= 3, Excel, ... 

A new operator "//" has been added to force integer division. This matches the behaviour of python >= 3.