Fixing floating point issues with new reftools.#