[expressions] Make int/int return double results.

Also add a new "//" operator to perform integer division.
(fix #5153)
Merge pull request #1721 from nyalldawson/integer_divide

[expressions] Make int/int return double results