The GitHub diff is showing the final change over master. So you must have reverted it an odd number of times, because it is `other % self.evalf()` in master and `self.evalf() % other` in your branch (and the master version is correct).