More carefulness about integer division.