And the moral of this story is: Never trust any floating-point number whose bits you haven't polished yourself.