Two circles with an irrational centre give an extra, inexact copy of a solution #2138

Two circles that meet in two exact points give three rows, one of them a decimal approximation of another:

solvesys::x,y::(x-1/2)^2+(y-sqrt(3)/2)^2-1;(x-1)^2+y^2-1
→ [[0, 0], [1.4999999999999997779553950749686919152736663818359375, …], [3/2, …]]

The answer is [[0, 0], [3/2, sqrt(3)/2]]. The middle row is the last one again, approximately: its x is not 3/2, so it is not a solution of the system as written.

Every compass construction in Modenov's Problems in Geometry (#2131) is an intersection of two circles like this, with an irrational centre.