Text this: Scientific computing and validated numerics /