divrem was falling back to div and rem. However, div and rem are kinda odd, as they are defined as to make Sym(-2):Sym(2):Sym(2) type constructs work. So this breaks the contract (ugh) and defines divrem through sympy.div and leaves the definitions for div and rem.
divremwas falling back todivandrem. However,divandremare kinda odd, as they are defined as to makeSym(-2):Sym(2):Sym(2)type constructs work. So this breaks the contract (ugh) and definesdivremthroughsympy.divand leaves the definitions fordivandrem.