example0: remove symmetry.

The symmetry in the second query could lead to 2 different yet
valid pairs of witness points. The tests failed on some 32-bit
systems since the other pair was returned. The sphere was slightly
moved to remove that symmetry.

Also, precision of the output has been increased.