Result of integer divison must be integer; previous behaviour that
it is a double was a bad idea. Too confusing for real stuff.