Text this: Self-validating numerics for function space problems :