The interval package for real-valued interval arithmetic provides data types and operations for verified computing.
