The comparison and rounding of floating-point numbers is mentioned in the Comparing floating-point numbers and Rounding floating-point numbers recipes.
