Numerical analysis textbooks and floating point numbers