Java: Otro que no es obvio

En un articulo que lei en Linux Magazine[linuxmagazine.com] aparece esta pregunta:

Que obtines de el siguiente ciclo?

while( i != i );

Si pensabas que la respuesta es que no se ejecuta nunca, estas equivocado, como todo en esta vida.. depende!!!

Si antes defines

double i = 0.0/0.0;

Entonces i sera Double.NaN y por definicion, un NaN no es igual a si mismo!!!!!

Si tienen algo que alegar, aleguen a la IEEE