Text this: Scientific Computing, Computer Arithmetic, and Validated Numerics