the ``__division__`` import at the beginning of the file should guarantee that.