Problema 223

A continuación se presenta la solución a un problema, pero parece que no es correcta:

 
float x = 1.0;
while (x != 0.0) {
  x = x - 0.1;
}