Added the __div__ overrides from the Q&A.