| x y |

x := 2.0.

[x > 0] whileTrue: [x := x / 2].

y := -2.0.

[y < 0] whileTrue: [y := y / 2].

(x = 0.0) -> (x = y) -> ((x basicAt: 1) = (y basicAt: 1))