comparing floating point numbers is dangerouse ... don't do this directly!