You actually don't need this elif clause, and so I would just leave it out.  If `self.evalf()` is not a Float (i.e., Zero), it will pass to `__rmod__`.  I just checked, and it works.