Scientific Computing, Computer Arithmetic, and Validated Numerics