Add __future__ division on files where it matters.

These are the files where the code expects integer division, and so need
to explicitly ask for it when using __future__ division.