We have `from __future__ import division` at the beginning of the file.