equals of floating points always scares me