Future post: Floating-point equality: using a simple epsilon is not good enough