Pages that link to Interval Arithmetic: Accurate Self-Validating Arithmetic for Digital Computing