Renaming some variables; adding an outline of the tolerance-based comparison of flloating-point numbers