Text this: Computer arithmetic and self-validating numerical methods /