[expressions] Make int/int return double results.

Also add a new "//" operator to perform integer division.
(fix #5153)