Comment by topaz0

I didn't realise this, but apparently it is also possible to do good algebra on this kind of structure by adding an element 0/0: https://en.wikipedia.org/wiki/Wheel_theory (which someone pointed to in one of the discussions -- I forget which one).