Aubrey Jaffer <agj@xxxxxxxxxxxx> writes: > Polar representation works because the polar coordinates of Real > numbers are in one-to-one correspondence with the Real numbers. > But one cannot casually add new inexact representations. I didn't say you could; I'm speaking about adding a new *exact* representation. You seem to keep missing that, despite my repeating it now three times.